if the oviparousness and/or the Ebioniteness happens then the shoplifting does not occur.
sent1: the fringing happens and the residing happens. sent2: the strangulation occurs. sent3: the flame-out occurs. sent4: the spotting Suidae and the boycott happens. sent5: both the spotting Coniogramme and the flame-out happens. sent6: the respectfulness occurs if the oviparousness happens. sent7: that the spotting Coniogramme and the respectfulness occurs results in that the beating xylophonist does not occur. sent8: that the strangulation does not occur and/or the header does not occur is wrong if the beating xylophonist does not occur. sent9: the respectfulness occurs if the Ebioniteness happens. sent10: the dockage and/or the wise happens. sent11: the shoplifting does not occur if that the strangulation does not occur or the header does not occur or both is incorrect. sent12: if the tootle does not occur that either the spotting oarswoman does not occur or the fudging backhander does not occur or both is not correct. sent13: the spotting voile and the stuff happens. sent14: the shoplifting happens. sent15: the fact that the shaping does not occur or the spotting Lilith does not occur or both does not hold. sent16: if the fact that the fact that the strangulation does not occur or the header does not occur or both does not hold is correct then the shoplifting happens. sent17: that the shoplifting does not occur is prevented by either that the oviparousness occurs or the Ebioniteness or both. sent18: the strangulation happens if the beating xylophonist does not occur. sent19: if that the strangulation happens and/or the header does not occur is wrong then the shoplifting does not occur.
void -> assump1: Let's assume that either the oviparousness happens or the Ebioniteness happens or both.; assump1 & sent6 & sent9 -> int1: the respectfulness happens.; sent5 -> int2: the spotting Coniogramme happens.; int1 & int2 -> int3: the spotting Coniogramme and the respectfulness occurs.; int3 & sent7 -> int4: the beating xylophonist does not occur.; int4 & sent8 -> int5: that the strangulation does not occur and/or the header does not occur is not right.; int5 & sent11 -> int6: the shoplifting does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the oviparousness and/or the Ebioniteness happens then the shoplifting does not occur. ; $context$ = sent1: the fringing happens and the residing happens. sent2: the strangulation occurs. sent3: the flame-out occurs. sent4: the spotting Suidae and the boycott happens. sent5: both the spotting Coniogramme and the flame-out happens. sent6: the respectfulness occurs if the oviparousness happens. sent7: that the spotting Coniogramme and the respectfulness occurs results in that the beating xylophonist does not occur. sent8: that the strangulation does not occur and/or the header does not occur is wrong if the beating xylophonist does not occur. sent9: the respectfulness occurs if the Ebioniteness happens. sent10: the dockage and/or the wise happens. sent11: the shoplifting does not occur if that the strangulation does not occur or the header does not occur or both is incorrect. sent12: if the tootle does not occur that either the spotting oarswoman does not occur or the fudging backhander does not occur or both is not correct. sent13: the spotting voile and the stuff happens. sent14: the shoplifting happens. sent15: the fact that the shaping does not occur or the spotting Lilith does not occur or both does not hold. sent16: if the fact that the fact that the strangulation does not occur or the header does not occur or both does not hold is correct then the shoplifting happens. sent17: that the shoplifting does not occur is prevented by either that the oviparousness occurs or the Ebioniteness or both. sent18: the strangulation happens if the beating xylophonist does not occur. sent19: if that the strangulation happens and/or the header does not occur is wrong then the shoplifting does not occur. ; $proof$ = 
void -> assump1: Let's assume that either the oviparousness happens or the Ebioniteness happens or both.; assump1 & sent6 & sent9 -> int1: the respectfulness happens.; sent5 -> int2: the spotting Coniogramme happens.; int1 & int2 -> int3: the spotting Coniogramme and the respectfulness occurs.; int3 & sent7 -> int4: the beating xylophonist does not occur.; int4 & sent8 -> int5: that the strangulation does not occur and/or the header does not occur is not right.; int5 & sent11 -> int6: the shoplifting does not occur.; [assump1] & int6 -> hypothesis; __PROVED__