the fact that the real does not occur if the housing touraco happens is not right.
sent1: the genesis happens. sent2: the realness happens. sent3: if the patellarness occurs then the fact that the monopoly does not occur is right. sent4: if the pursuing happens then the federalizing Assault does not occur. sent5: the operating does not occur. sent6: the enfeebling Alisma occurs. sent7: if the enfeebling rhymed occurs and the housing touraco occurs then the real does not occur. sent8: the ministerialness does not occur if that the sashay occurs is true. sent9: the realness is triggered by that both the enfeebling rhymed and the housing touraco happens. sent10: if the enfeebling Alisma happens that not the real but the housing touraco happens is not right. sent11: that the screech does not occur is not incorrect. sent12: the federalizing croquet occurs. sent13: the housing executant does not occur if the cancan occurs. sent14: the enfeebling rhymed happens. sent15: that the sunburst does not occur is brought about by that the convoying and the housing Jerusalem happens. sent16: the establishment happens. sent17: if the enfeebling rhymed does not occur the housing postage occurs.
void -> assump1: Let's assume that the housing touraco occurs.; sent14 & assump1 -> int1: the enfeebling rhymed occurs and the housing touraco happens.; int1 & sent7 -> int2: the real does not occur.; [assump1] & int2 -> hypothesis;
both the housing postage and the neurasthenicness happens.
sent10 & sent6 -> int3: that the non-realness and the housing touraco happens does not hold.;
$hypothesis$ = the fact that the real does not occur if the housing touraco happens is not right. ; $context$ = sent1: the genesis happens. sent2: the realness happens. sent3: if the patellarness occurs then the fact that the monopoly does not occur is right. sent4: if the pursuing happens then the federalizing Assault does not occur. sent5: the operating does not occur. sent6: the enfeebling Alisma occurs. sent7: if the enfeebling rhymed occurs and the housing touraco occurs then the real does not occur. sent8: the ministerialness does not occur if that the sashay occurs is true. sent9: the realness is triggered by that both the enfeebling rhymed and the housing touraco happens. sent10: if the enfeebling Alisma happens that not the real but the housing touraco happens is not right. sent11: that the screech does not occur is not incorrect. sent12: the federalizing croquet occurs. sent13: the housing executant does not occur if the cancan occurs. sent14: the enfeebling rhymed happens. sent15: that the sunburst does not occur is brought about by that the convoying and the housing Jerusalem happens. sent16: the establishment happens. sent17: if the enfeebling rhymed does not occur the housing postage occurs. ; $proof$ = 
void -> assump1: Let's assume that the housing touraco occurs.; sent14 & assump1 -> int1: the enfeebling rhymed occurs and the housing touraco happens.; int1 & sent7 -> int2: the real does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__