the fact that the windfall does not occur if that the Stalinist happens and the curveting beta-carotene does not occur is not true is false.
sent1: the fighting patrilineage occurs and the curveting candidate happens. sent2: either the self-discipline or the curveting cotter or both happens. sent3: that the grooving Elaeocarpus happens hold. sent4: the windfall happens if the fact that the Stalinist occurs and the curveting beta-carotene does not occur is not true. sent5: that the windfall occurs does not hold if the Stalinist but not the curveting beta-carotene happens. sent6: that the sighting side and the non-corpuscularness happens is right. sent7: the cheese does not occur. sent8: the grooving pinko occurs. sent9: the sit-down does not occur. sent10: the supplementation happens. sent11: the acervateness but not the curveting goosefoot occurs. sent12: the fact that both the inscribing and the grooving radiance happens is true. sent13: the literalness occurs. sent14: the dissemination occurs. sent15: the Stalinistness and the grooving pinko occurs. sent16: the supplementation happens and/or the on-siteness happens. sent17: that the event occurs is prevented by that the curveting python happens and/or the sighting deformation. sent18: that the polity happens but the fighting enchantress does not occur is wrong. sent19: the curveting beta-carotene is prevented by that the windfall or the literalness or both happens. sent20: that the fighting coelenteron does not occur is brought about by that the expelling occurs and/or the skateboarding occurs.
void -> assump2: Let's assume that the windfall happens.; assump2 -> int1: the windfall happens and/or the literalness occurs.; int1 & sent19 -> int2: the curveting beta-carotene does not occur.; sent15 -> int3: the Stalinist occurs.; int2 & int3 -> int4: the Stalinistness happens but the curveting beta-carotene does not occur.; void -> assump1: Let's assume that that the Stalinistness happens and the curveting beta-carotene does not occur is incorrect.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the windfall does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the windfall does not occur if that the Stalinist happens and the curveting beta-carotene does not occur is not true is false. ; $context$ = sent1: the fighting patrilineage occurs and the curveting candidate happens. sent2: either the self-discipline or the curveting cotter or both happens. sent3: that the grooving Elaeocarpus happens hold. sent4: the windfall happens if the fact that the Stalinist occurs and the curveting beta-carotene does not occur is not true. sent5: that the windfall occurs does not hold if the Stalinist but not the curveting beta-carotene happens. sent6: that the sighting side and the non-corpuscularness happens is right. sent7: the cheese does not occur. sent8: the grooving pinko occurs. sent9: the sit-down does not occur. sent10: the supplementation happens. sent11: the acervateness but not the curveting goosefoot occurs. sent12: the fact that both the inscribing and the grooving radiance happens is true. sent13: the literalness occurs. sent14: the dissemination occurs. sent15: the Stalinistness and the grooving pinko occurs. sent16: the supplementation happens and/or the on-siteness happens. sent17: that the event occurs is prevented by that the curveting python happens and/or the sighting deformation. sent18: that the polity happens but the fighting enchantress does not occur is wrong. sent19: the curveting beta-carotene is prevented by that the windfall or the literalness or both happens. sent20: that the fighting coelenteron does not occur is brought about by that the expelling occurs and/or the skateboarding occurs. ; $proof$ = 
void -> assump2: Let's assume that the windfall happens.; assump2 -> int1: the windfall happens and/or the literalness occurs.; int1 & sent19 -> int2: the curveting beta-carotene does not occur.; sent15 -> int3: the Stalinist occurs.; int2 & int3 -> int4: the Stalinistness happens but the curveting beta-carotene does not occur.; void -> assump1: Let's assume that that the Stalinistness happens and the curveting beta-carotene does not occur is incorrect.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the windfall does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__