the backstopping spatula does not occur if the flagellation does not occur.
sent1: the backstopping spatula but not the flagellation happens if the backstopping unison does not occur. sent2: the backstopping spatula happens if the flagellation does not occur. sent3: if the fact that not the constraint but the Moon happens is false the forelegness happens. sent4: if the forelegness and the anaplasticness happens the backstopping unison does not occur. sent5: the flagellation happens if the backstopping spatula occurs. sent6: that if that that the backstopping spatula and the flagellation occurs is not wrong is not right the palatalizing polyandry does not occur hold. sent7: the amphotericness does not occur. sent8: if the seek occurs the tempestuousness does not occur. sent9: if the backstopping spatula happens but the flagellation does not occur then the unmownness does not occur.
void -> assump2: Let's assume that the backstopping spatula happens.; sent5 & assump2 -> int1: the flagellation occurs.; void -> assump1: Let's assume that the flagellation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the backstopping spatula does not occur.; [assump1] & int3 -> hypothesis;
the unmownness does not occur.
$hypothesis$ = the backstopping spatula does not occur if the flagellation does not occur. ; $context$ = sent1: the backstopping spatula but not the flagellation happens if the backstopping unison does not occur. sent2: the backstopping spatula happens if the flagellation does not occur. sent3: if the fact that not the constraint but the Moon happens is false the forelegness happens. sent4: if the forelegness and the anaplasticness happens the backstopping unison does not occur. sent5: the flagellation happens if the backstopping spatula occurs. sent6: that if that that the backstopping spatula and the flagellation occurs is not wrong is not right the palatalizing polyandry does not occur hold. sent7: the amphotericness does not occur. sent8: if the seek occurs the tempestuousness does not occur. sent9: if the backstopping spatula happens but the flagellation does not occur then the unmownness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the backstopping spatula happens.; sent5 & assump2 -> int1: the flagellation occurs.; void -> assump1: Let's assume that the flagellation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the backstopping spatula does not occur.; [assump1] & int3 -> hypothesis; __PROVED__