the intralinguisticness happens if the protuberating happens.
sent1: that the overheadness happens and the granulating happens is triggered by that the crossing does not occur. sent2: the orchotomy does not occur and the menstruating does not occur. sent3: if the snuffing tourmaline occurs the patronizing scauper happens. sent4: if the slipping does not occur both the intralinguisticness and the experientialness occurs. sent5: the snuffing tourmaline occurs. sent6: that the slipping does not occur yields the experientialness. sent7: if the righting lumbering happens the orchotomy happens. sent8: the crossing does not occur if the orchotomy does not occur and the menstruating does not occur. sent9: that the experientialness occurs hold if the fact that the inexcusableness does not occur and the Irish occurs is incorrect. sent10: that the intralinguisticness but not the slipping occurs yields the factoring. sent11: if the granulating occurs the fact that the non-inexcusableness and the Irishness occurs is false.
void -> assump1: Let's assume that that the protuberating happens is not false.; assump1 -> int1: the snuffing tourmaline occurs and/or the protuberating happens.;
the factor happens and the patronizing scauper occurs.
sent8 & sent2 -> int2: the fact that the crossing does not occur hold.; sent1 & int2 -> int3: the overheadness and the granulating occurs.; int3 -> int4: the granulating occurs.; sent11 & int4 -> int5: that the inexcusableness does not occur but the Irishness happens is incorrect.; sent9 & int5 -> int6: the experientialness happens.;
$hypothesis$ = the intralinguisticness happens if the protuberating happens. ; $context$ = sent1: that the overheadness happens and the granulating happens is triggered by that the crossing does not occur. sent2: the orchotomy does not occur and the menstruating does not occur. sent3: if the snuffing tourmaline occurs the patronizing scauper happens. sent4: if the slipping does not occur both the intralinguisticness and the experientialness occurs. sent5: the snuffing tourmaline occurs. sent6: that the slipping does not occur yields the experientialness. sent7: if the righting lumbering happens the orchotomy happens. sent8: the crossing does not occur if the orchotomy does not occur and the menstruating does not occur. sent9: that the experientialness occurs hold if the fact that the inexcusableness does not occur and the Irish occurs is incorrect. sent10: that the intralinguisticness but not the slipping occurs yields the factoring. sent11: if the granulating occurs the fact that the non-inexcusableness and the Irishness occurs is false. ; $proof$ = 
void -> assump1: Let's assume that that the protuberating happens is not false.; assump1 -> int1: the snuffing tourmaline occurs and/or the protuberating happens.; __UNKNOWN__