the fact that the prestidigitation does not occur hold.
sent1: the sass happens and/or the gyration occurs if the interlock does not occur. sent2: the sassing occurs and the gyration happens. sent3: that the belay does not occur and the travestying monoplegia occurs is brought about by that the comparative does not occur. sent4: if both the interlock and the schlep happens then the oddness does not occur. sent5: the schlep happens. sent6: the belaying prevents that the surcharge does not occur. sent7: the comparativeness does not occur if that the pity and the comparativeness happens is false. sent8: that the gyration does not occur results in that the sassing happens and the prestidigitation occurs. sent9: the sass happens. sent10: the nuzzling occurs. sent11: if both the non-oddness and the prestidigitation occurs then the surcharge does not occur. sent12: if the gyration happens the interlocking occurs. sent13: the prestidigitation happens and the sass happens if the gyration does not occur. sent14: if the echoencephalography does not occur then that the pitying occurs and the comparativeness happens is false. sent15: if the travestying monoplegia happens the surcharge occurs. sent16: the fact that the oddness does not occur but the surcharge happens is not right if the belay does not occur. sent17: the travestying monoplegia and/or the belaying happens.
sent2 -> int1: the gyration happens.; int1 & sent12 -> int2: the interlock happens.; int2 & sent5 -> int3: the interlock occurs and the schlep occurs.; int3 & sent4 -> int4: the oddness does not occur.; void -> assump1: Let's assume that the prestidigitation happens.; int4 & assump1 -> int5: not the oddness but the prestidigitation happens.; int5 & sent11 -> int6: the surcharge does not occur.; sent17 & sent15 & sent6 -> int7: the surcharging occurs.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the fact that the prestidigitation happens is true.
$hypothesis$ = the fact that the prestidigitation does not occur hold. ; $context$ = sent1: the sass happens and/or the gyration occurs if the interlock does not occur. sent2: the sassing occurs and the gyration happens. sent3: that the belay does not occur and the travestying monoplegia occurs is brought about by that the comparative does not occur. sent4: if both the interlock and the schlep happens then the oddness does not occur. sent5: the schlep happens. sent6: the belaying prevents that the surcharge does not occur. sent7: the comparativeness does not occur if that the pity and the comparativeness happens is false. sent8: that the gyration does not occur results in that the sassing happens and the prestidigitation occurs. sent9: the sass happens. sent10: the nuzzling occurs. sent11: if both the non-oddness and the prestidigitation occurs then the surcharge does not occur. sent12: if the gyration happens the interlocking occurs. sent13: the prestidigitation happens and the sass happens if the gyration does not occur. sent14: if the echoencephalography does not occur then that the pitying occurs and the comparativeness happens is false. sent15: if the travestying monoplegia happens the surcharge occurs. sent16: the fact that the oddness does not occur but the surcharge happens is not right if the belay does not occur. sent17: the travestying monoplegia and/or the belaying happens. ; $proof$ = 
sent2 -> int1: the gyration happens.; int1 & sent12 -> int2: the interlock happens.; int2 & sent5 -> int3: the interlock occurs and the schlep occurs.; int3 & sent4 -> int4: the oddness does not occur.; void -> assump1: Let's assume that the prestidigitation happens.; int4 & assump1 -> int5: not the oddness but the prestidigitation happens.; int5 & sent11 -> int6: the surcharge does not occur.; sent17 & sent15 & sent6 -> int7: the surcharging occurs.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__