if the wiving occurs the zoonoticness does not occur.
sent1: the zoonoticness occurs. sent2: the isotonicness occurs. sent3: the zoonoticness is triggered by that the nonsyllabicness and the wiving occurs. sent4: if the fact that the wiving happens hold the zoonoticness happens. sent5: if the wiving does not occur the inquest occurs and the nonsyllabicness happens. sent6: if the fact that the wiving happens but the burdening does not occur is incorrect then the wiving does not occur. sent7: the nonsyllabicness occurs. sent8: the warming exon happens if the fact that the resistibleness occurs hold. sent9: if the adsorbentness happens and the drinking Binghamton occurs then the drinking motorcycle does not occur.
void -> assump1: Let's assume that the wiving happens.; sent7 & assump1 -> int1: both the nonsyllabicness and the wiving happens.;
that the inquest happens is right.
$hypothesis$ = if the wiving occurs the zoonoticness does not occur. ; $context$ = sent1: the zoonoticness occurs. sent2: the isotonicness occurs. sent3: the zoonoticness is triggered by that the nonsyllabicness and the wiving occurs. sent4: if the fact that the wiving happens hold the zoonoticness happens. sent5: if the wiving does not occur the inquest occurs and the nonsyllabicness happens. sent6: if the fact that the wiving happens but the burdening does not occur is incorrect then the wiving does not occur. sent7: the nonsyllabicness occurs. sent8: the warming exon happens if the fact that the resistibleness occurs hold. sent9: if the adsorbentness happens and the drinking Binghamton occurs then the drinking motorcycle does not occur. ; $proof$ = 
void -> assump1: Let's assume that the wiving happens.; sent7 & assump1 -> int1: both the nonsyllabicness and the wiving happens.; __UNKNOWN__