the peekaboo happens if the hero occurs.
sent1: if the topicalness occurs the joggling does not occur. sent2: if that the skirl and the platonicness occurs is wrong then the skirl does not occur. sent3: the tympanicness happens. sent4: that the peekaboo and the hero happens does not hold if the fact that the joggling occurs is wrong. sent5: the fact that the tearfulness does not occur and the orthodonticsness happens is not wrong if the joyfulness occurs. sent6: the comeback happens. sent7: the comeback occurs if the peekaboo does not occur. sent8: that the non-extracellularness and the comeback occurs prevents the hero. sent9: if the tympanicness happens the devoicing bead does not occur but the discordantness occurs. sent10: that the peekaboo yields that both the non-extracellularness and the comeback occurs is not wrong. sent11: the surfacingness does not occur if the fact that the peekaboo and the hero happens is wrong. sent12: the carrier does not occur or the shillyshallying scullery does not occur or both if the dirt does not occur. sent13: that the dirt happens is prevented by that the unimodalness happens and/or that the taming does not occur. sent14: that the skirl occurs and the platonicness occurs is incorrect if the devoicing bead does not occur. sent15: if that the carrier does not occur is right then the carrotiness or the outselling fado or both occurs. sent16: if the carrier does not occur or the shillyshallying scullery does not occur or both then the carrier does not occur. sent17: both the topicalness and the knee-lengthness occurs if the skirl does not occur. sent18: that both the shillyshallying scullery and the Skinnerian happens causes that the dirt does not occur.
void -> assump1: Let's assume that the hero occurs.;
the surfacing does not occur.
$hypothesis$ = the peekaboo happens if the hero occurs. ; $context$ = sent1: if the topicalness occurs the joggling does not occur. sent2: if that the skirl and the platonicness occurs is wrong then the skirl does not occur. sent3: the tympanicness happens. sent4: that the peekaboo and the hero happens does not hold if the fact that the joggling occurs is wrong. sent5: the fact that the tearfulness does not occur and the orthodonticsness happens is not wrong if the joyfulness occurs. sent6: the comeback happens. sent7: the comeback occurs if the peekaboo does not occur. sent8: that the non-extracellularness and the comeback occurs prevents the hero. sent9: if the tympanicness happens the devoicing bead does not occur but the discordantness occurs. sent10: that the peekaboo yields that both the non-extracellularness and the comeback occurs is not wrong. sent11: the surfacingness does not occur if the fact that the peekaboo and the hero happens is wrong. sent12: the carrier does not occur or the shillyshallying scullery does not occur or both if the dirt does not occur. sent13: that the dirt happens is prevented by that the unimodalness happens and/or that the taming does not occur. sent14: that the skirl occurs and the platonicness occurs is incorrect if the devoicing bead does not occur. sent15: if that the carrier does not occur is right then the carrotiness or the outselling fado or both occurs. sent16: if the carrier does not occur or the shillyshallying scullery does not occur or both then the carrier does not occur. sent17: both the topicalness and the knee-lengthness occurs if the skirl does not occur. sent18: that both the shillyshallying scullery and the Skinnerian happens causes that the dirt does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hero occurs.; __UNKNOWN__