if the fact that the effleurage happens is not wrong then the juridicalness does not occur and the statutoriness does not occur.
sent1: the referring Kaopectate happens if the clayeiness occurs. sent2: that the statutoriness does not occur is correct if the clobbering does not occur and the lighting does not occur. sent3: the non-pituitaryness is prevented by the baa. sent4: if the referring Kaopectate occurs then the clobbering does not occur and the lighting does not occur. sent5: the clayeiness and the transferring plunger happens. sent6: the conceptualisticness happens. sent7: the transferring Appalachians happens. sent8: the unwholesomeness occurs if the disproportionateness happens. sent9: if the unfortunateness does not occur then the juridicalness does not occur. sent10: the effleurage happens if the unfortunate occurs and the pituitary happens. sent11: the baa happens or the Yumanness occurs or both. sent12: the effleurage does not occur if the unfortunate occurs and the pituitary happens. sent13: the clobbering does not occur if the referring Kaopectate happens. sent14: if the Yuman happens then the pituitariness happens. sent15: that the clobbering does not occur is not wrong.
sent11 & sent3 & sent14 -> int1: the pituitariness occurs.; void -> assump1: Let's assume that the unfortunate occurs.; int1 & assump1 -> int2: the unfortunateness happens and the pituitary happens.; int2 & sent12 -> int3: the effleurage does not occur.; void -> assump2: Let's assume that the effleurage occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the unfortunateness does not occur.; int5 & sent9 -> int6: the juridicalness does not occur.; sent5 -> int7: the clayeiness happens.; sent1 & int7 -> int8: the referring Kaopectate happens.; sent4 & int8 -> int9: the clobbering does not occur and the lighting does not occur.; sent2 & int9 -> int10: the statutoriness does not occur.; int6 & int10 -> int11: both the non-juridicalness and the non-statutoryness happens.; [assump2] & int11 -> hypothesis;
$hypothesis$ = if the fact that the effleurage happens is not wrong then the juridicalness does not occur and the statutoriness does not occur. ; $context$ = sent1: the referring Kaopectate happens if the clayeiness occurs. sent2: that the statutoriness does not occur is correct if the clobbering does not occur and the lighting does not occur. sent3: the non-pituitaryness is prevented by the baa. sent4: if the referring Kaopectate occurs then the clobbering does not occur and the lighting does not occur. sent5: the clayeiness and the transferring plunger happens. sent6: the conceptualisticness happens. sent7: the transferring Appalachians happens. sent8: the unwholesomeness occurs if the disproportionateness happens. sent9: if the unfortunateness does not occur then the juridicalness does not occur. sent10: the effleurage happens if the unfortunate occurs and the pituitary happens. sent11: the baa happens or the Yumanness occurs or both. sent12: the effleurage does not occur if the unfortunate occurs and the pituitary happens. sent13: the clobbering does not occur if the referring Kaopectate happens. sent14: if the Yuman happens then the pituitariness happens. sent15: that the clobbering does not occur is not wrong. ; $proof$ = 
sent11 & sent3 & sent14 -> int1: the pituitariness occurs.; void -> assump1: Let's assume that the unfortunate occurs.; int1 & assump1 -> int2: the unfortunateness happens and the pituitary happens.; int2 & sent12 -> int3: the effleurage does not occur.; void -> assump2: Let's assume that the effleurage occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the unfortunateness does not occur.; int5 & sent9 -> int6: the juridicalness does not occur.; sent5 -> int7: the clayeiness happens.; sent1 & int7 -> int8: the referring Kaopectate happens.; sent4 & int8 -> int9: the clobbering does not occur and the lighting does not occur.; sent2 & int9 -> int10: the statutoriness does not occur.; int6 & int10 -> int11: both the non-juridicalness and the non-statutoryness happens.; [assump2] & int11 -> hypothesis; __PROVED__