the fact that if the pat occurs the diminishing Orectolobus does not occur is false.
sent1: the classwork happens. sent2: that the diminishing Orectolobus and the bowl happens brings about that the pat does not occur. sent3: both the dissimilarness and the maneuvering occurs. sent4: both the lightness and the doricness occurs. sent5: if the subtraction happens and the removableness happens the twanging does not occur. sent6: the diminishing Orectolobus happens if the pat occurs. sent7: the bowl happens. sent8: the emoting does not occur. sent9: the brooching accumulation happens. sent10: the LASEK does not occur. sent11: the snickersnee occurs. sent12: that the retreat does not occur hold if the diminishing pension happens. sent13: that the jackstraws occurs and the tramping Lawrence occurs prevents that the Senecanness occurs. sent14: the bimorphemicness does not occur. sent15: that the bowling does not occur results in that both the diminishing Orectolobus and the brooching trimipramine happens. sent16: that the mold does not occur is prevented by that both the lutealness and the diminishing antimetabolite occurs. sent17: the Parthianness occurs.
void -> assump1: Let's assume that the fact that the pat happens is not incorrect.; void -> assump2: Let's assume that the diminishing Orectolobus happens.; assump2 & sent7 -> int1: both the diminishing Orectolobus and the bowl occurs.; sent2 & int1 -> int2: the pat does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the diminishing Orectolobus does not occur hold.; [assump1] & int4 -> hypothesis;
the brooching trimipramine and the journey happens.
$hypothesis$ = the fact that if the pat occurs the diminishing Orectolobus does not occur is false. ; $context$ = sent1: the classwork happens. sent2: that the diminishing Orectolobus and the bowl happens brings about that the pat does not occur. sent3: both the dissimilarness and the maneuvering occurs. sent4: both the lightness and the doricness occurs. sent5: if the subtraction happens and the removableness happens the twanging does not occur. sent6: the diminishing Orectolobus happens if the pat occurs. sent7: the bowl happens. sent8: the emoting does not occur. sent9: the brooching accumulation happens. sent10: the LASEK does not occur. sent11: the snickersnee occurs. sent12: that the retreat does not occur hold if the diminishing pension happens. sent13: that the jackstraws occurs and the tramping Lawrence occurs prevents that the Senecanness occurs. sent14: the bimorphemicness does not occur. sent15: that the bowling does not occur results in that both the diminishing Orectolobus and the brooching trimipramine happens. sent16: that the mold does not occur is prevented by that both the lutealness and the diminishing antimetabolite occurs. sent17: the Parthianness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pat happens is not incorrect.; void -> assump2: Let's assume that the diminishing Orectolobus happens.; assump2 & sent7 -> int1: both the diminishing Orectolobus and the bowl occurs.; sent2 & int1 -> int2: the pat does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the diminishing Orectolobus does not occur hold.; [assump1] & int4 -> hypothesis; __DISPROVED__