the hornpipe does not occur if the biogeographicness occurs.
sent1: the fault does not occur. sent2: if the biogeographicness occurs then the hornpipe happens. sent3: that the gambit and the rusting occurs is not true. sent4: if the biogeographicness occurs or the walking Brumaire happens or both then the whitewash does not occur. sent5: the hornpipe occurs. sent6: if the Eurasian does not occur then the hornpipe does not occur. sent7: that the flashflood and the aikido happens is incorrect. sent8: the fact that the handout and the walking lobby occurs does not hold if the field-cropness does not occur. sent9: the mischief does not occur. sent10: the nodding happens and/or the detail happens. sent11: the hornpipe does not occur if that both the Eurasianness and the immanentness happens does not hold. sent12: either the sepulchralness occurs or the boning marchioness occurs or both. sent13: the insolation does not occur if the exocrineness occurs or the better occurs or both. sent14: if that the Eurasian occurs and the immanentness occurs is false the hornpipe happens. sent15: that the homemadeness and the hurdling occurs is false. sent16: that the forgery occurs is prevented by that the biogeographicness does not occur. sent17: the territoriality does not occur. sent18: if the walking Brumaire occurs then the whitewash does not occur.
void -> assump1: Let's assume that the biogeographicness occurs.; assump1 -> int1: either the biogeographicness or the walking Brumaire or both happens.; sent4 & int1 -> int2: the fact that the whitewash does not occur is not wrong.;
the forgery does not occur.
$hypothesis$ = the hornpipe does not occur if the biogeographicness occurs. ; $context$ = sent1: the fault does not occur. sent2: if the biogeographicness occurs then the hornpipe happens. sent3: that the gambit and the rusting occurs is not true. sent4: if the biogeographicness occurs or the walking Brumaire happens or both then the whitewash does not occur. sent5: the hornpipe occurs. sent6: if the Eurasian does not occur then the hornpipe does not occur. sent7: that the flashflood and the aikido happens is incorrect. sent8: the fact that the handout and the walking lobby occurs does not hold if the field-cropness does not occur. sent9: the mischief does not occur. sent10: the nodding happens and/or the detail happens. sent11: the hornpipe does not occur if that both the Eurasianness and the immanentness happens does not hold. sent12: either the sepulchralness occurs or the boning marchioness occurs or both. sent13: the insolation does not occur if the exocrineness occurs or the better occurs or both. sent14: if that the Eurasian occurs and the immanentness occurs is false the hornpipe happens. sent15: that the homemadeness and the hurdling occurs is false. sent16: that the forgery occurs is prevented by that the biogeographicness does not occur. sent17: the territoriality does not occur. sent18: if the walking Brumaire occurs then the whitewash does not occur. ; $proof$ = 
void -> assump1: Let's assume that the biogeographicness occurs.; assump1 -> int1: either the biogeographicness or the walking Brumaire or both happens.; sent4 & int1 -> int2: the fact that the whitewash does not occur is not wrong.; __UNKNOWN__