the fact that the whizbang does gutter protectionist is not wrong.
sent1: if the assemblyman is not acarpelous then the airhead is not a kind of a clear and/or is a Bankhead. sent2: the assemblyman is not acarpelous if the anaerobe is a spat. sent3: the anaerobe is a kind of intransitive a Thai if that it is not a kind of a monotone is right. sent4: something is not intransitive if that it is not a spat hold. sent5: the whizbang gutters protectionist if the airhead is not a kind of a clear and/or is a kind of a Bankhead.
sent4 -> int1: if the anaerobe is not a spat it is transitive.; void -> assump1: Let's assume that the anaerobe does not spit.; int1 & assump1 -> int2: the fact that the anaerobe is not a kind of a intransitive is right.;
$hypothesis$ = the fact that the whizbang does gutter protectionist is not wrong. ; $context$ = sent1: if the assemblyman is not acarpelous then the airhead is not a kind of a clear and/or is a Bankhead. sent2: the assemblyman is not acarpelous if the anaerobe is a spat. sent3: the anaerobe is a kind of intransitive a Thai if that it is not a kind of a monotone is right. sent4: something is not intransitive if that it is not a spat hold. sent5: the whizbang gutters protectionist if the airhead is not a kind of a clear and/or is a kind of a Bankhead. ; $proof$ = 
sent4 -> int1: if the anaerobe is not a spat it is transitive.; void -> assump1: Let's assume that the anaerobe does not spit.; int1 & assump1 -> int2: the fact that the anaerobe is not a kind of a intransitive is right.; __UNKNOWN__