the foulness does not occur.
sent1: the fact that the sortie occurs is not false. sent2: if that the Rooseveltianness does not occur is not false then that both the imitativeness and the pitcher happens is wrong. sent3: both the discriminateness and the trooping constrictor occurs. sent4: the trooping nonworker does not occur. sent5: the fact that the deposit does not occur is correct. sent6: that the communications does not occur results in that both the education and the trooping ornithine happens. sent7: if the bobbing obtainment does not occur the fact that the pneumaticsness and the sortie occurs does not hold. sent8: if the fact that both the pneumaticsness and the sortie occurs is not true the pneumaticsness does not occur. sent9: the bobbing obtainment happens and the sortie occurs. sent10: that the lessness does not occur and the indicating does not occur is caused by that the auspiciousness does not occur. sent11: the communications does not occur if the adynamicness occurs. sent12: the fact that the fouling does not occur if that the fouling occurs and the sortie happens is not correct is right. sent13: that the lessness does not occur and the indicating does not occur prevents the pulverization. sent14: that the pulverization does not occur brings about that both the adynamicness and the mikvah occurs. sent15: if the deposit does not occur then the fact that the fact that not the foulness but the bobbing obtainment occurs is correct is false. sent16: that the fouling occurs and the depositing does not occur is incorrect if the education occurs.
sent9 -> int1: that the bobbing obtainment occurs is not wrong.; void -> assump1: Let's assume that the fouling does not occur.; int1 & assump1 -> int2: both the non-foulness and the bobbing obtainment happens.; sent15 & sent5 -> int3: the fact that the foulness does not occur and the bobbing obtainment happens is not right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the foul does not occur.
$hypothesis$ = the foulness does not occur. ; $context$ = sent1: the fact that the sortie occurs is not false. sent2: if that the Rooseveltianness does not occur is not false then that both the imitativeness and the pitcher happens is wrong. sent3: both the discriminateness and the trooping constrictor occurs. sent4: the trooping nonworker does not occur. sent5: the fact that the deposit does not occur is correct. sent6: that the communications does not occur results in that both the education and the trooping ornithine happens. sent7: if the bobbing obtainment does not occur the fact that the pneumaticsness and the sortie occurs does not hold. sent8: if the fact that both the pneumaticsness and the sortie occurs is not true the pneumaticsness does not occur. sent9: the bobbing obtainment happens and the sortie occurs. sent10: that the lessness does not occur and the indicating does not occur is caused by that the auspiciousness does not occur. sent11: the communications does not occur if the adynamicness occurs. sent12: the fact that the fouling does not occur if that the fouling occurs and the sortie happens is not correct is right. sent13: that the lessness does not occur and the indicating does not occur prevents the pulverization. sent14: that the pulverization does not occur brings about that both the adynamicness and the mikvah occurs. sent15: if the deposit does not occur then the fact that the fact that not the foulness but the bobbing obtainment occurs is correct is false. sent16: that the fouling occurs and the depositing does not occur is incorrect if the education occurs. ; $proof$ = 
sent9 -> int1: that the bobbing obtainment occurs is not wrong.; void -> assump1: Let's assume that the fouling does not occur.; int1 & assump1 -> int2: both the non-foulness and the bobbing obtainment happens.; sent15 & sent5 -> int3: the fact that the foulness does not occur and the bobbing obtainment happens is not right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__