if the fisheyeness happens the rummaging inflater occurs and the incision does not occur.
sent1: the discarding happens if the advisableness happens. sent2: the offensiveness happens and/or the channeling happens. sent3: that the incision occurs is prevented by that the spying occurs. sent4: the epilithicness happens. sent5: the testaceousness does not occur. sent6: the wrestling happens if the fisheyeness happens. sent7: the incision does not occur if either the wrestle or the spying or both occurs. sent8: either the disciplining or the rewarding Parisian or both happens. sent9: the rummaging inflater happens. sent10: if that the nonconformity occurs is not incorrect the deference occurs. sent11: the redshift occurs. sent12: the overflight is prevented by that the amminoness happens or that the broadcasting happens or both. sent13: that the redshift happens and/or that the endoparasiticness occurs leads to that the referendum does not occur. sent14: the rewarding idiocy happens and the goldbrick does not occur. sent15: the pegging Hemachatus happens. sent16: the comparableness happens. sent17: if either the orbing happens or the gastroscopy happens or both then the aurifying does not occur. sent18: either the trading occurs or the checkering happens or both. sent19: the beguilement happens if the accomplishment occurs. sent20: the morphologicness does not occur if the fact that the inconvertibleness and/or the quest occurs hold. sent21: the tourism happens.
void -> assump1: Let's assume that the fisheyeness occurs.; sent6 & assump1 -> int1: the wrestling occurs.; int1 -> int2: the wrestling occurs or the spying occurs or both.; int2 & sent7 -> int3: the incision does not occur.; int3 & sent9 -> int4: the rummaging inflater but not the incision occurs.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the fisheyeness happens the rummaging inflater occurs and the incision does not occur. ; $context$ = sent1: the discarding happens if the advisableness happens. sent2: the offensiveness happens and/or the channeling happens. sent3: that the incision occurs is prevented by that the spying occurs. sent4: the epilithicness happens. sent5: the testaceousness does not occur. sent6: the wrestling happens if the fisheyeness happens. sent7: the incision does not occur if either the wrestle or the spying or both occurs. sent8: either the disciplining or the rewarding Parisian or both happens. sent9: the rummaging inflater happens. sent10: if that the nonconformity occurs is not incorrect the deference occurs. sent11: the redshift occurs. sent12: the overflight is prevented by that the amminoness happens or that the broadcasting happens or both. sent13: that the redshift happens and/or that the endoparasiticness occurs leads to that the referendum does not occur. sent14: the rewarding idiocy happens and the goldbrick does not occur. sent15: the pegging Hemachatus happens. sent16: the comparableness happens. sent17: if either the orbing happens or the gastroscopy happens or both then the aurifying does not occur. sent18: either the trading occurs or the checkering happens or both. sent19: the beguilement happens if the accomplishment occurs. sent20: the morphologicness does not occur if the fact that the inconvertibleness and/or the quest occurs hold. sent21: the tourism happens. ; $proof$ = 
void -> assump1: Let's assume that the fisheyeness occurs.; sent6 & assump1 -> int1: the wrestling occurs.; int1 -> int2: the wrestling occurs or the spying occurs or both.; int2 & sent7 -> int3: the incision does not occur.; int3 & sent9 -> int4: the rummaging inflater but not the incision occurs.; [assump1] & int4 -> hypothesis; __PROVED__