that the lavage occurs prevents that the surprising positioner occurs.
sent1: the arterialness occurs. sent2: the legatoness occurs and the take-in occurs if the lagging scholarship does not occur. sent3: the subordinatingness happens if the minuscule does not occur. sent4: the surprising positioner happens if the lavage happens. sent5: the surprising golfing happens if the fact that the blaspheming originalism does not occur and the vault occurs does not hold. sent6: that not the blaspheming originalism but the vault occurs is wrong. sent7: that the surprising positioner does not occur hold if the subordinatingness does not occur. sent8: if both the superficialness and the lavage occurs the subordinating does not occur. sent9: the surprising golfing occurs if the vault does not occur. sent10: if the arterialness occurs then not the lagging scholarship but the lead occurs. sent11: the blaspheming martensite occurs. sent12: that the legatoness occurs brings about either the surprising positioner or the non-minusculeness or both. sent13: that the surprising golfing occurs prevents the non-superficialness. sent14: if the scuffing happens then the revoking occurs.
sent5 & sent6 -> int1: the surprising golfing occurs.; sent13 & int1 -> int2: the superficialness occurs.; void -> assump1: Let's assume that the lavage happens.; int2 & assump1 -> int3: the superficialness and the lavage happens.; sent8 & int3 -> int4: the subordinating does not occur.; sent7 & int4 -> int5: that the surprising positioner does not occur is correct.; [assump1] & int5 -> hypothesis;
the cetacean happens.
sent10 & sent1 -> int6: the lagging scholarship does not occur but the lead happens.; int6 -> int7: the fact that the lagging scholarship does not occur is not false.; sent2 & int7 -> int8: both the legatoness and the take-in occurs.; int8 -> int9: the legatoness occurs.; sent12 & int9 -> int10: the surprising positioner happens and/or the minusculeness does not occur.;
$hypothesis$ = that the lavage occurs prevents that the surprising positioner occurs. ; $context$ = sent1: the arterialness occurs. sent2: the legatoness occurs and the take-in occurs if the lagging scholarship does not occur. sent3: the subordinatingness happens if the minuscule does not occur. sent4: the surprising positioner happens if the lavage happens. sent5: the surprising golfing happens if the fact that the blaspheming originalism does not occur and the vault occurs does not hold. sent6: that not the blaspheming originalism but the vault occurs is wrong. sent7: that the surprising positioner does not occur hold if the subordinatingness does not occur. sent8: if both the superficialness and the lavage occurs the subordinating does not occur. sent9: the surprising golfing occurs if the vault does not occur. sent10: if the arterialness occurs then not the lagging scholarship but the lead occurs. sent11: the blaspheming martensite occurs. sent12: that the legatoness occurs brings about either the surprising positioner or the non-minusculeness or both. sent13: that the surprising golfing occurs prevents the non-superficialness. sent14: if the scuffing happens then the revoking occurs. ; $proof$ = 
sent5 & sent6 -> int1: the surprising golfing occurs.; sent13 & int1 -> int2: the superficialness occurs.; void -> assump1: Let's assume that the lavage happens.; int2 & assump1 -> int3: the superficialness and the lavage happens.; sent8 & int3 -> int4: the subordinating does not occur.; sent7 & int4 -> int5: that the surprising positioner does not occur is correct.; [assump1] & int5 -> hypothesis; __PROVED__