the self-pollination does not occur.
sent1: that the colostomy does not occur and the grunt does not occur prevents that the bettering smiley does not occur. sent2: if the grunt occurs then that the bettering smiley occurs and the colostomy does not occur is not right. sent3: the cornering sensualist does not occur. sent4: that the weeding almanac does not occur and/or the bettering endomorph is caused by that the cornering sensualist does not occur. sent5: the colostomy does not occur if the presidentialness does not occur. sent6: the Appalachians happens and/or the presidentialness does not occur. sent7: if the repeating occurs that not the combining but the grunt happens is wrong. sent8: the colostomy does not occur if the Appalachians happens. sent9: that the weeding almanac does not occur and/or the bettering endomorph occurs leads to the vice-presidentialness. sent10: the bettering smiley does not occur if the vice-presidentialness happens and the self-pollination happens. sent11: if the weeding almanac does not occur the vice-presidentialness occurs. sent12: the grunt does not occur if that not the combining but the grunt occurs is not true. sent13: the repeat occurs.
sent4 & sent3 -> int1: the weeding almanac does not occur and/or the bettering endomorph occurs.; int1 & sent9 -> int2: the vice-presidentialness occurs.; void -> assump1: Let's assume that the self-pollination happens.; int2 & assump1 -> int3: the vice-presidentialness happens and the self-pollination occurs.; int3 & sent10 -> int4: the bettering smiley does not occur.; sent6 & sent8 & sent5 -> int5: the colostomy does not occur.; sent7 & sent13 -> int6: the fact that not the combining but the grunt happens is not true.; sent12 & int6 -> int7: the grunting does not occur.; int5 & int7 -> int8: the colostomy does not occur and the grunt does not occur.; sent1 & int8 -> int9: the bettering smiley occurs.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the self-pollination occurs.
$hypothesis$ = the self-pollination does not occur. ; $context$ = sent1: that the colostomy does not occur and the grunt does not occur prevents that the bettering smiley does not occur. sent2: if the grunt occurs then that the bettering smiley occurs and the colostomy does not occur is not right. sent3: the cornering sensualist does not occur. sent4: that the weeding almanac does not occur and/or the bettering endomorph is caused by that the cornering sensualist does not occur. sent5: the colostomy does not occur if the presidentialness does not occur. sent6: the Appalachians happens and/or the presidentialness does not occur. sent7: if the repeating occurs that not the combining but the grunt happens is wrong. sent8: the colostomy does not occur if the Appalachians happens. sent9: that the weeding almanac does not occur and/or the bettering endomorph occurs leads to the vice-presidentialness. sent10: the bettering smiley does not occur if the vice-presidentialness happens and the self-pollination happens. sent11: if the weeding almanac does not occur the vice-presidentialness occurs. sent12: the grunt does not occur if that not the combining but the grunt occurs is not true. sent13: the repeat occurs. ; $proof$ = 
sent4 & sent3 -> int1: the weeding almanac does not occur and/or the bettering endomorph occurs.; int1 & sent9 -> int2: the vice-presidentialness occurs.; void -> assump1: Let's assume that the self-pollination happens.; int2 & assump1 -> int3: the vice-presidentialness happens and the self-pollination occurs.; int3 & sent10 -> int4: the bettering smiley does not occur.; sent6 & sent8 & sent5 -> int5: the colostomy does not occur.; sent7 & sent13 -> int6: the fact that not the combining but the grunt happens is not true.; sent12 & int6 -> int7: the grunting does not occur.; int5 & int7 -> int8: the colostomy does not occur and the grunt does not occur.; sent1 & int8 -> int9: the bettering smiley occurs.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__