not the winding but the sideshow happens.
sent1: if the fact that that the Jeffersonianness does not occur but the squinting happens is not false does not hold the nonmonotonicness does not occur. sent2: the wound is prevented by that the unblocking does not occur. sent3: the thrusting Cebus occurs and the fetch occurs. sent4: the nonmonotonicness does not occur. sent5: if the Jeffersonian happens then the reforestation happens. sent6: the fact that the non-Jeffersonianness and the squint happens is not right if the fetching does not occur. sent7: if the fact that the unblocking occurs is not incorrect then the thrusting Plovdiv happens. sent8: that the reforestation does not occur and the thrusting Cebus does not occur is not right if the fact that the winding happens hold. sent9: the sideshow but not the nonmonotonicness occurs if the squinting occurs. sent10: the squint occurs. sent11: the Jeffersonianness happens. sent12: if the thrusting Plovdiv occurs and the reforestation happens then the thrusting Cebus does not occur.
void -> assump1: Let's assume that the unblocking occurs.; sent7 & assump1 -> int1: the thrusting Plovdiv occurs.; sent5 & sent11 -> int2: the reforestation happens.; int1 & int2 -> int3: the thrusting Plovdiv happens and the reforestation happens.; int3 & sent12 -> int4: the thrusting Cebus does not occur.; sent3 -> int5: the thrusting Cebus occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the unblocking does not occur.; int7 & sent2 -> int8: the wound does not occur.; sent9 & sent10 -> int9: the sideshow and the monotonicness occurs.; int9 -> int10: the sideshow occurs.; int8 & int10 -> hypothesis;
the heliacalness occurs.
$hypothesis$ = not the winding but the sideshow happens. ; $context$ = sent1: if the fact that that the Jeffersonianness does not occur but the squinting happens is not false does not hold the nonmonotonicness does not occur. sent2: the wound is prevented by that the unblocking does not occur. sent3: the thrusting Cebus occurs and the fetch occurs. sent4: the nonmonotonicness does not occur. sent5: if the Jeffersonian happens then the reforestation happens. sent6: the fact that the non-Jeffersonianness and the squint happens is not right if the fetching does not occur. sent7: if the fact that the unblocking occurs is not incorrect then the thrusting Plovdiv happens. sent8: that the reforestation does not occur and the thrusting Cebus does not occur is not right if the fact that the winding happens hold. sent9: the sideshow but not the nonmonotonicness occurs if the squinting occurs. sent10: the squint occurs. sent11: the Jeffersonianness happens. sent12: if the thrusting Plovdiv occurs and the reforestation happens then the thrusting Cebus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unblocking occurs.; sent7 & assump1 -> int1: the thrusting Plovdiv occurs.; sent5 & sent11 -> int2: the reforestation happens.; int1 & int2 -> int3: the thrusting Plovdiv happens and the reforestation happens.; int3 & sent12 -> int4: the thrusting Cebus does not occur.; sent3 -> int5: the thrusting Cebus occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the unblocking does not occur.; int7 & sent2 -> int8: the wound does not occur.; sent9 & sent10 -> int9: the sideshow and the monotonicness occurs.; int9 -> int10: the sideshow occurs.; int8 & int10 -> hypothesis; __PROVED__