if the fact that the accounting occurs is true the fact that the ratlikeness happens is true.
sent1: the account does not occur if the determining riverbank or the tragicomicness or both occurs. sent2: the condescension prevents that the trafficking infusorian does not occur. sent3: the unplayfulness occurs. sent4: the tragicomicness causes that the apprehension but not the determining riverbank occurs. sent5: that the Reformation occurs prevents the non-ratlikeness. sent6: the fact that the trafficking Sebastiana happens is not wrong. sent7: if the determining riverbank does not occur then the derangement does not occur. sent8: the dogmatizing Slovenian and the pursing perfume occurs.
void -> assump1: Let's assume that the fact that the determining riverbank occurs hold.; assump1 -> int1: either the determining riverbank or the tragicomicness or both occurs.; int1 & sent1 -> int2: the accounting does not occur.; void -> assump2: Let's assume that the account occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the determining riverbank does not occur is correct.; int4 & sent7 -> int5: the derangement does not occur.; sent8 -> int6: the dogmatizing Slovenian occurs.; int5 & int6 -> int7: the dogmatizing Slovenian happens but the derangement does not occur.;
the apprehension happens.
$hypothesis$ = if the fact that the accounting occurs is true the fact that the ratlikeness happens is true. ; $context$ = sent1: the account does not occur if the determining riverbank or the tragicomicness or both occurs. sent2: the condescension prevents that the trafficking infusorian does not occur. sent3: the unplayfulness occurs. sent4: the tragicomicness causes that the apprehension but not the determining riverbank occurs. sent5: that the Reformation occurs prevents the non-ratlikeness. sent6: the fact that the trafficking Sebastiana happens is not wrong. sent7: if the determining riverbank does not occur then the derangement does not occur. sent8: the dogmatizing Slovenian and the pursing perfume occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the determining riverbank occurs hold.; assump1 -> int1: either the determining riverbank or the tragicomicness or both occurs.; int1 & sent1 -> int2: the accounting does not occur.; void -> assump2: Let's assume that the account occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the determining riverbank does not occur is correct.; int4 & sent7 -> int5: the derangement does not occur.; sent8 -> int6: the dogmatizing Slovenian occurs.; int5 & int6 -> int7: the dogmatizing Slovenian happens but the derangement does not occur.; __UNKNOWN__