the brogan does not overcloud and/or is a kind of an outgrowth.
sent1: something is both scotomatous and a infix if it is not a prey. sent2: that the brogan does not overcloud or is an outgrowth or both does not hold if the actor is not a manifest. sent3: that the brogan is not prehensile is true if it is not categoric and not a Appleton. sent4: if something that does manifest is nonprehensile then that the actor is not scotomatous is correct. sent5: the deadhead is either not nonprehensile or not scotomatous or both if that the nominalist is categoric is not false. sent6: the brogan is a manifest if it overclouds. sent7: the brogan is nonprehensile if it is a kind of non-categoric thing that is a Appleton. sent8: the brogan is not categoric and is not a Appleton.
void -> assump1: Let's assume that the fact that the brogan does overcloud is correct.; sent6 & assump1 -> int1: the brogan does manifest.; sent3 & sent8 -> int2: the brogan is nonprehensile.; int1 & int2 -> int3: the brogan does manifest and is nonprehensile.; int3 -> int4: something is both a manifest and nonprehensile.; int4 & sent4 -> int5: that the actor is not scotomatous is true.; sent1 -> int6: the actor is scotomatous and it is a kind of a infix if it is not a prey.;
that either the brogan does not overcloud or it is an outgrowth or both is not true.
$hypothesis$ = the brogan does not overcloud and/or is a kind of an outgrowth. ; $context$ = sent1: something is both scotomatous and a infix if it is not a prey. sent2: that the brogan does not overcloud or is an outgrowth or both does not hold if the actor is not a manifest. sent3: that the brogan is not prehensile is true if it is not categoric and not a Appleton. sent4: if something that does manifest is nonprehensile then that the actor is not scotomatous is correct. sent5: the deadhead is either not nonprehensile or not scotomatous or both if that the nominalist is categoric is not false. sent6: the brogan is a manifest if it overclouds. sent7: the brogan is nonprehensile if it is a kind of non-categoric thing that is a Appleton. sent8: the brogan is not categoric and is not a Appleton. ; $proof$ = 
void -> assump1: Let's assume that the fact that the brogan does overcloud is correct.; sent6 & assump1 -> int1: the brogan does manifest.; sent3 & sent8 -> int2: the brogan is nonprehensile.; int1 & int2 -> int3: the brogan does manifest and is nonprehensile.; int3 -> int4: something is both a manifest and nonprehensile.; int4 & sent4 -> int5: that the actor is not scotomatous is true.; sent1 -> int6: the actor is scotomatous and it is a kind of a infix if it is not a prey.; __UNKNOWN__