that the partygoer does transit and it is a comptrollership is wrong.
sent1: if something is not a kind of a enterokinase then the fact that it is non-extrospective thing that is not a recapitulation does not hold. sent2: if the cantilever is extrospective the partygoer transits. sent3: the partygoer is a recapitulation that is a comptrollership. sent4: that something does transit and it is a comptrollership is wrong if it is not Falstaffian. sent5: the partygoer does transit if the cantilever is not non-Falstaffian. sent6: the cantilever either is Falstaffian or is extrospective or both. sent7: the acanthus is Falstaffian.
sent6 & sent5 & sent2 -> int1: the fact that the partygoer transits hold.; sent3 -> int2: the partygoer is a kind of a comptrollership.; int1 & int2 -> hypothesis;
the fact that the partygoer transits and it is a comptrollership is not correct.
sent4 -> int3: if the partygoer is not Falstaffian that it transits and is a comptrollership is not right.; sent1 -> int4: that the fact that the cantilever is not extrospective and it is not a recapitulation is not false is not true if it is not a enterokinase.;
$hypothesis$ = that the partygoer does transit and it is a comptrollership is wrong. ; $context$ = sent1: if something is not a kind of a enterokinase then the fact that it is non-extrospective thing that is not a recapitulation does not hold. sent2: if the cantilever is extrospective the partygoer transits. sent3: the partygoer is a recapitulation that is a comptrollership. sent4: that something does transit and it is a comptrollership is wrong if it is not Falstaffian. sent5: the partygoer does transit if the cantilever is not non-Falstaffian. sent6: the cantilever either is Falstaffian or is extrospective or both. sent7: the acanthus is Falstaffian. ; $proof$ = 
sent6 & sent5 & sent2 -> int1: the fact that the partygoer transits hold.; sent3 -> int2: the partygoer is a kind of a comptrollership.; int1 & int2 -> hypothesis; __DISPROVED__