Proof of proveit.logic.classes.membership.not_in_class_is_bool theorem

import proveit
theory = proveit.Theory() # the theorem's theory

%proving not_in_class_is_bool

Under these presumptions, we begin our proof of
not_in_class_is_bool:
(see dependencies)