the waking philosopher but not the waking Menorah happens.
sent1: the waking smoothbark happens and the shock does not occur if the resulting adrenosterone does not occur. sent2: the phase-out happens but the complication does not occur if the waking insinuation does not occur. sent3: if the non-lucifugousness or the diving or both happens then the waking philosopher occurs. sent4: the unsocialness occurs. sent5: the deputation does not occur if the circumnavigating happens. sent6: the drizzling fado happens and the circumnavigating does not occur. sent7: if the tetanus does not occur the lucifugousness does not occur. sent8: the mutafacientness happens. sent9: if the fact that the tetanus occurs is not wrong then the circumnavigating happens. sent10: the extradition does not occur. sent11: the resulting reservoir does not occur. sent12: the fact that that the waking smoothbark but not the shocking happens prevents the mastership is true. sent13: that the waking Limerick does not occur is not wrong. sent14: that the decriminalization does not occur is caused by that the jag does not occur. sent15: if both the waking smoothbark and the shock happens then the mastership does not occur. sent16: that the pharmacologicalness does not occur causes that the waking soundness does not occur. sent17: the resulting adrenosterone does not occur. sent18: the waking Menorah does not occur if the mastership does not occur.
void -> assump1: Let's assume that the tetanus occurs.; sent9 & assump1 -> int1: that the circumnavigating occurs is not false.; sent6 -> int2: the circumnavigating does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tetanus does not occur.; int4 & sent7 -> int5: the lucifugousness does not occur.; int5 -> int6: the lucifugousness does not occur and/or the diving occurs.; int6 & sent3 -> int7: the waking philosopher occurs.; sent1 & sent17 -> int8: the waking smoothbark happens and the shocking does not occur.; sent12 & int8 -> int9: the mastership does not occur.; sent18 & int9 -> int10: the waking Menorah does not occur.; int7 & int10 -> hypothesis;
that the fact that the waking philosopher happens but the waking Menorah does not occur is correct is wrong.
 -> hypothesis;
$hypothesis$ = the waking philosopher but not the waking Menorah happens. ; $context$ = sent1: the waking smoothbark happens and the shock does not occur if the resulting adrenosterone does not occur. sent2: the phase-out happens but the complication does not occur if the waking insinuation does not occur. sent3: if the non-lucifugousness or the diving or both happens then the waking philosopher occurs. sent4: the unsocialness occurs. sent5: the deputation does not occur if the circumnavigating happens. sent6: the drizzling fado happens and the circumnavigating does not occur. sent7: if the tetanus does not occur the lucifugousness does not occur. sent8: the mutafacientness happens. sent9: if the fact that the tetanus occurs is not wrong then the circumnavigating happens. sent10: the extradition does not occur. sent11: the resulting reservoir does not occur. sent12: the fact that that the waking smoothbark but not the shocking happens prevents the mastership is true. sent13: that the waking Limerick does not occur is not wrong. sent14: that the decriminalization does not occur is caused by that the jag does not occur. sent15: if both the waking smoothbark and the shock happens then the mastership does not occur. sent16: that the pharmacologicalness does not occur causes that the waking soundness does not occur. sent17: the resulting adrenosterone does not occur. sent18: the waking Menorah does not occur if the mastership does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tetanus occurs.; sent9 & assump1 -> int1: that the circumnavigating occurs is not false.; sent6 -> int2: the circumnavigating does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tetanus does not occur.; int4 & sent7 -> int5: the lucifugousness does not occur.; int5 -> int6: the lucifugousness does not occur and/or the diving occurs.; int6 & sent3 -> int7: the waking philosopher occurs.; sent1 & sent17 -> int8: the waking smoothbark happens and the shocking does not occur.; sent12 & int8 -> int9: the mastership does not occur.; sent18 & int9 -> int10: the waking Menorah does not occur.; int7 & int10 -> hypothesis; __PROVED__