the fact that the ignoring grass does not occur and the routemarch does not occur does not hold if the frequenting does not occur.
sent1: the heaving but not the quickie occurs. sent2: the collegiateness does not occur. sent3: if the leglessness does not occur then the fact that the catting does not occur but the conspiratorialness occurs is false. sent4: the jacketing truth does not occur if that the frequentness but not the ignoring thunk happens is not correct. sent5: the expressibleness does not occur. sent6: that the ignoring blatancy does not occur causes that the excommunication does not occur and the probable does not occur. sent7: the jacketing parr does not occur. sent8: that the fact that the forehandedness does not occur and the deflowering sash does not occur is not incorrect is not right. sent9: the fact that the gynecologicalness but not the minusness occurs does not hold. sent10: that the jacketing truth happens is prevented by that the frequentness but not the ignoring thunk occurs. sent11: that the palatalizing denominator does not occur and the DINK does not occur is incorrect. sent12: the deflowering follow-on does not occur and the show does not occur if the gynecologicalness does not occur. sent13: if the ignoring thunk occurs then the jacketing truth does not occur.
void -> assump2: Let's assume that the frequenting occurs and the ignoring thunk does not occur.; assump2 -> int1: the frequenting occurs.; void -> assump1: Let's assume that the frequenting does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the frequenting happens and the ignoring thunk does not occur does not hold.; sent4 & int3 -> int4: the jacketing truth does not occur.;
that the fact that the forehandedness does not occur and the deflowering sash does not occur is not incorrect is not right.
 -> hypothesis;
$hypothesis$ = the fact that the ignoring grass does not occur and the routemarch does not occur does not hold if the frequenting does not occur. ; $context$ = sent1: the heaving but not the quickie occurs. sent2: the collegiateness does not occur. sent3: if the leglessness does not occur then the fact that the catting does not occur but the conspiratorialness occurs is false. sent4: the jacketing truth does not occur if that the frequentness but not the ignoring thunk happens is not correct. sent5: the expressibleness does not occur. sent6: that the ignoring blatancy does not occur causes that the excommunication does not occur and the probable does not occur. sent7: the jacketing parr does not occur. sent8: that the fact that the forehandedness does not occur and the deflowering sash does not occur is not incorrect is not right. sent9: the fact that the gynecologicalness but not the minusness occurs does not hold. sent10: that the jacketing truth happens is prevented by that the frequentness but not the ignoring thunk occurs. sent11: that the palatalizing denominator does not occur and the DINK does not occur is incorrect. sent12: the deflowering follow-on does not occur and the show does not occur if the gynecologicalness does not occur. sent13: if the ignoring thunk occurs then the jacketing truth does not occur. ; $proof$ = 
void -> assump2: Let's assume that the frequenting occurs and the ignoring thunk does not occur.; assump2 -> int1: the frequenting occurs.; void -> assump1: Let's assume that the frequenting does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the frequenting happens and the ignoring thunk does not occur does not hold.; sent4 & int3 -> int4: the jacketing truth does not occur.; __UNKNOWN__