the lobectomy does not occur and the anteriorness does not occur.
sent1: if the bogging Tahitian does not occur then the allogamousness does not occur and the lobectomy does not occur. sent2: if the shopping corkboard does not occur the bogging Tahitian but not the wrestling happens. sent3: the mid-on does not occur but the temperance occurs. sent4: if the fact that the temperance occurs is not false the fact that the pandemic but not the obedience happens is not true. sent5: if the temperance and the shopping corkboard occurs the obedience does not occur. sent6: if the pandemic does not occur then the fact that the wrestling does not occur and the bogging Tahitian occurs is wrong. sent7: that the infixing vasodilator happens is not wrong if that the anophelineness but not the infixing vasodilator happens is false. sent8: if the anophelineness occurs that that the bogging Tahitian but not the wrestling happens is false is not false. sent9: if the shopping corkboard does not occur then the bogging Tahitian happens. sent10: if the lobectomy happens the anopheline occurs. sent11: the fact that the mid-on does not occur is correct. sent12: that the anopheline but not the infixing vasodilator occurs is not correct if the anteriorness happens. sent13: that if that the pandemic happens and the obedience does not occur is not true the anterior does not occur is correct. sent14: that the obedience does not occur but the shopping corkboard occurs is incorrect if the temperance does not occur. sent15: the shopping corkboard does not occur.
void -> assump1: Let's assume that the lobectomy happens.; sent10 & assump1 -> int1: the anophelineness happens.; int1 & sent8 -> int2: the fact that the bogging Tahitian but not the wrestling happens is wrong.; sent2 & sent15 -> int3: the bogging Tahitian happens but the wrestling does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lobectomy does not occur.; sent3 -> int6: the temperance occurs.; sent4 & int6 -> int7: the fact that the pandemic but not the obedience occurs does not hold.; sent13 & int7 -> int8: the anteriorness does not occur.; int5 & int8 -> hypothesis;
both the infixing vasodilator and the non-allogamousness occurs.
$hypothesis$ = the lobectomy does not occur and the anteriorness does not occur. ; $context$ = sent1: if the bogging Tahitian does not occur then the allogamousness does not occur and the lobectomy does not occur. sent2: if the shopping corkboard does not occur the bogging Tahitian but not the wrestling happens. sent3: the mid-on does not occur but the temperance occurs. sent4: if the fact that the temperance occurs is not false the fact that the pandemic but not the obedience happens is not true. sent5: if the temperance and the shopping corkboard occurs the obedience does not occur. sent6: if the pandemic does not occur then the fact that the wrestling does not occur and the bogging Tahitian occurs is wrong. sent7: that the infixing vasodilator happens is not wrong if that the anophelineness but not the infixing vasodilator happens is false. sent8: if the anophelineness occurs that that the bogging Tahitian but not the wrestling happens is false is not false. sent9: if the shopping corkboard does not occur then the bogging Tahitian happens. sent10: if the lobectomy happens the anopheline occurs. sent11: the fact that the mid-on does not occur is correct. sent12: that the anopheline but not the infixing vasodilator occurs is not correct if the anteriorness happens. sent13: that if that the pandemic happens and the obedience does not occur is not true the anterior does not occur is correct. sent14: that the obedience does not occur but the shopping corkboard occurs is incorrect if the temperance does not occur. sent15: the shopping corkboard does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lobectomy happens.; sent10 & assump1 -> int1: the anophelineness happens.; int1 & sent8 -> int2: the fact that the bogging Tahitian but not the wrestling happens is wrong.; sent2 & sent15 -> int3: the bogging Tahitian happens but the wrestling does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lobectomy does not occur.; sent3 -> int6: the temperance occurs.; sent4 & int6 -> int7: the fact that the pandemic but not the obedience occurs does not hold.; sent13 & int7 -> int8: the anteriorness does not occur.; int5 & int8 -> hypothesis; __PROVED__