the three-wheelness happens.
sent1: the liquefying prosthion happens. sent2: the underquoting occurs if that the slaving boneshaker happens and the underquoting does not occur is false. sent3: the underquoting happens. sent4: the underquoting occurs if the ulnarness does not occur. sent5: that the tillage occurs is prevented by that the liquefying prosthion and the three-wheelness happens. sent6: that the shuddering happens is prevented by that the shuddering does not occur and/or that the three-wheelness happens. sent7: the tillage occurs if the underquoting occurs and the slaving boneshaker does not occur. sent8: the ulnarness does not occur. sent9: that the tillage happens and the liquefying prosthion does not occur prevents that the three-wheelness does not occur. sent10: if the ulnarness occurs then that the slaving boneshaker occurs and the underquoting does not occur is false. sent11: the ulnarness happens if the fact that not the ulnarness but the megillah happens does not hold. sent12: if the ulnarness does not occur then the underquoting but not the slaving boneshaker occurs. sent13: the fact that the bestirring Miro occurs is not false.
void -> assump1: Let's assume that the three-wheelness happens.; sent1 & assump1 -> int1: the liquefying prosthion and the three-wheelness occurs.; int1 & sent5 -> int2: the tillage does not occur.; sent12 & sent8 -> int3: the underquoting occurs but the slaving boneshaker does not occur.; sent7 & int3 -> int4: the tillage occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the shuddering does not occur.
$hypothesis$ = the three-wheelness happens. ; $context$ = sent1: the liquefying prosthion happens. sent2: the underquoting occurs if that the slaving boneshaker happens and the underquoting does not occur is false. sent3: the underquoting happens. sent4: the underquoting occurs if the ulnarness does not occur. sent5: that the tillage occurs is prevented by that the liquefying prosthion and the three-wheelness happens. sent6: that the shuddering happens is prevented by that the shuddering does not occur and/or that the three-wheelness happens. sent7: the tillage occurs if the underquoting occurs and the slaving boneshaker does not occur. sent8: the ulnarness does not occur. sent9: that the tillage happens and the liquefying prosthion does not occur prevents that the three-wheelness does not occur. sent10: if the ulnarness occurs then that the slaving boneshaker occurs and the underquoting does not occur is false. sent11: the ulnarness happens if the fact that not the ulnarness but the megillah happens does not hold. sent12: if the ulnarness does not occur then the underquoting but not the slaving boneshaker occurs. sent13: the fact that the bestirring Miro occurs is not false. ; $proof$ = 
void -> assump1: Let's assume that the three-wheelness happens.; sent1 & assump1 -> int1: the liquefying prosthion and the three-wheelness occurs.; int1 & sent5 -> int2: the tillage does not occur.; sent12 & sent8 -> int3: the underquoting occurs but the slaving boneshaker does not occur.; sent7 & int3 -> int4: the tillage occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__