the patience does not occur.
sent1: the patience occurs if the deviating steeplechaser does not occur. sent2: the fact that the ailing does not occur and the footfault happens is wrong. sent3: the technical happens. sent4: the rioting drought occurs. sent5: that not the rioting chloroprene but the deviating Mogul happens is not right. sent6: the fact that if that not the rioting drought but the deviating steeplechaser happens is incorrect the patience occurs is right. sent7: the deviating steeplechaser occurs.
void -> assump1: Let's assume that not the rioting drought but the deviating steeplechaser happens.; assump1 -> int1: the rioting drought does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rioting drought does not occur but the deviating steeplechaser occurs is false.; sent6 & int3 -> hypothesis;
the fact that the ailing does not occur and the footfault happens is wrong.
 -> hypothesis;
$hypothesis$ = the patience does not occur. ; $context$ = sent1: the patience occurs if the deviating steeplechaser does not occur. sent2: the fact that the ailing does not occur and the footfault happens is wrong. sent3: the technical happens. sent4: the rioting drought occurs. sent5: that not the rioting chloroprene but the deviating Mogul happens is not right. sent6: the fact that if that not the rioting drought but the deviating steeplechaser happens is incorrect the patience occurs is right. sent7: the deviating steeplechaser occurs. ; $proof$ = 
void -> assump1: Let's assume that not the rioting drought but the deviating steeplechaser happens.; assump1 -> int1: the rioting drought does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rioting drought does not occur but the deviating steeplechaser occurs is false.; sent6 & int3 -> hypothesis; __DISPROVED__