the suctorialness does not occur if the foothold does not occur.
sent1: if the foothold does not occur then the suctorialness occurs. sent2: the suctorialness does not occur if the utopianness and the resulting turf occurs. sent3: the inconsolableness does not occur. sent4: that the suctorialness does not occur is prevented by that the utopianness and the resulting turf happens. sent5: if the foothold occurs the veinalness occurs. sent6: the cowardliness occurs. sent7: the fact that the utopianness does not occur and the foothold does not occur is not right. sent8: that the classificatoriness and the non-suctorialness occurs yields that the resulting turf does not occur.
void -> assump2: Let's assume that the fact that the utopianness does not occur is right.; void -> assump1: Let's assume that the foothold does not occur.; assump2 & assump1 -> int1: the utopianness does not occur and the foothold does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the utopianness occurs hold.;
the Omaniness and the veinalness occurs.
$hypothesis$ = the suctorialness does not occur if the foothold does not occur. ; $context$ = sent1: if the foothold does not occur then the suctorialness occurs. sent2: the suctorialness does not occur if the utopianness and the resulting turf occurs. sent3: the inconsolableness does not occur. sent4: that the suctorialness does not occur is prevented by that the utopianness and the resulting turf happens. sent5: if the foothold occurs the veinalness occurs. sent6: the cowardliness occurs. sent7: the fact that the utopianness does not occur and the foothold does not occur is not right. sent8: that the classificatoriness and the non-suctorialness occurs yields that the resulting turf does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the utopianness does not occur is right.; void -> assump1: Let's assume that the foothold does not occur.; assump2 & assump1 -> int1: the utopianness does not occur and the foothold does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the utopianness occurs hold.; __UNKNOWN__