the avianness occurs and the steadying does not occur.
sent1: the aftness occurs. sent2: that the implantation happens is prevented by that the scapularness and the vitiation happens. sent3: if the scapular does not occur then the fact that the fact that the restlessness occurs and the excise does not occur is not wrong does not hold. sent4: the orthopticsness occurs. sent5: the implantation happens if the insolence happens. sent6: that the girding happens is correct. sent7: if the fact that the avianness but not the steadyingness happens is not right then the vitiation happens. sent8: the scapularness happens.
void -> assump1: Let's assume that that the fact that the avianness happens and the steadyingness does not occur is false is not false.; sent7 & assump1 -> int1: the vitiation happens.; int1 & sent8 -> int2: both the scapular and the vitiation happens.; int2 & sent2 -> int3: the implantation does not occur.;
that the restlessness happens and the excise does not occur is not true.
$hypothesis$ = the avianness occurs and the steadying does not occur. ; $context$ = sent1: the aftness occurs. sent2: that the implantation happens is prevented by that the scapularness and the vitiation happens. sent3: if the scapular does not occur then the fact that the fact that the restlessness occurs and the excise does not occur is not wrong does not hold. sent4: the orthopticsness occurs. sent5: the implantation happens if the insolence happens. sent6: that the girding happens is correct. sent7: if the fact that the avianness but not the steadyingness happens is not right then the vitiation happens. sent8: the scapularness happens. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the avianness happens and the steadyingness does not occur is false is not false.; sent7 & assump1 -> int1: the vitiation happens.; int1 & sent8 -> int2: both the scapular and the vitiation happens.; int2 & sent2 -> int3: the implantation does not occur.; __UNKNOWN__