the class does not occur and the snagging tableland occurs if the tripling happens.
sent1: the fluvialness but not the wind occurs if the rechauffe occurs. sent2: the tameness occurs and the inverting occurs. sent3: the class happens and the snagging tableland happens. sent4: that the class does not occur but the snagging tableland happens is caused by the non-fiscalness. sent5: the class occurs and the snagging tableland happens if the fiscalness does not occur. sent6: the winding does not occur. sent7: if the peripeteia does not occur the fact that the fluvialness happens but the winding does not occur is false. sent8: both the non-eyelessness and the intrasententialness happens if the roar does not occur. sent9: the fact that not the substantiveness but the triple happens does not hold if the fiscalness happens. sent10: the fact that both the fluvialness and the wind occurs does not hold if the peripeteia does not occur. sent11: the rechauffe occurs. sent12: the absolution does not occur. sent13: the substantiveness happens if that the substantivenessness and the tripling occurs is false. sent14: if the tripling occurs the class happens and the snagging tableland occurs. sent15: the fact that the fluvialness occurs and the wind happens is wrong. sent16: if the supervision does not occur the class happens and the snagging tableland happens. sent17: the judging Anchorage happens. sent18: the snagging tableland occurs if the fiscalness does not occur.
void -> assump1: Let's assume that the peripeteia does not occur.; sent7 & assump1 -> int1: the fact that the fact that the fluvialness but not the winding occurs is not incorrect is not true.; sent1 & sent11 -> int2: the fluvialness but not the wind occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peripeteia occurs.; void -> assump2: Let's assume that the triple occurs.; int4 & assump2 -> int5: the fact that both the peripeteia and the tripling happens is not incorrect.;
the myeloidness happens and the substantive happens.
$hypothesis$ = the class does not occur and the snagging tableland occurs if the tripling happens. ; $context$ = sent1: the fluvialness but not the wind occurs if the rechauffe occurs. sent2: the tameness occurs and the inverting occurs. sent3: the class happens and the snagging tableland happens. sent4: that the class does not occur but the snagging tableland happens is caused by the non-fiscalness. sent5: the class occurs and the snagging tableland happens if the fiscalness does not occur. sent6: the winding does not occur. sent7: if the peripeteia does not occur the fact that the fluvialness happens but the winding does not occur is false. sent8: both the non-eyelessness and the intrasententialness happens if the roar does not occur. sent9: the fact that not the substantiveness but the triple happens does not hold if the fiscalness happens. sent10: the fact that both the fluvialness and the wind occurs does not hold if the peripeteia does not occur. sent11: the rechauffe occurs. sent12: the absolution does not occur. sent13: the substantiveness happens if that the substantivenessness and the tripling occurs is false. sent14: if the tripling occurs the class happens and the snagging tableland occurs. sent15: the fact that the fluvialness occurs and the wind happens is wrong. sent16: if the supervision does not occur the class happens and the snagging tableland happens. sent17: the judging Anchorage happens. sent18: the snagging tableland occurs if the fiscalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the peripeteia does not occur.; sent7 & assump1 -> int1: the fact that the fact that the fluvialness but not the winding occurs is not incorrect is not true.; sent1 & sent11 -> int2: the fluvialness but not the wind occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peripeteia occurs.; void -> assump2: Let's assume that the triple occurs.; int4 & assump2 -> int5: the fact that both the peripeteia and the tripling happens is not incorrect.; __UNKNOWN__