something is not a octavo.
sent1: the whirler is a toupeed but it is not narial. sent2: if that the phosphate does negotiate devoir hold the gather is cranial. sent3: the exotherm does not need. sent4: if something that is not cranial is a shad then it is not a octavo. sent5: the fact that the whirler is a need that does not report Adad is not true if it is a shad. sent6: the whirler needs but it does not report Adad if it is a cosmopolitan. sent7: the oxyphencyclimine does not behold aptitude. sent8: the whirler is a cosmopolitan.
void -> assump1: Let's assume that the whirler is a shad.; sent5 & assump1 -> int1: that the whirler is a need and does not report Adad is incorrect.; sent6 & sent8 -> int2: the whirler is a kind of a need and does not report Adad.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whirler is not a kind of a shad.; sent4 -> int5: the gather is not a octavo if it is not cranial and it is a shad.;
the Scotswoman is not a cosmopolitan.
$hypothesis$ = something is not a octavo. ; $context$ = sent1: the whirler is a toupeed but it is not narial. sent2: if that the phosphate does negotiate devoir hold the gather is cranial. sent3: the exotherm does not need. sent4: if something that is not cranial is a shad then it is not a octavo. sent5: the fact that the whirler is a need that does not report Adad is not true if it is a shad. sent6: the whirler needs but it does not report Adad if it is a cosmopolitan. sent7: the oxyphencyclimine does not behold aptitude. sent8: the whirler is a cosmopolitan. ; $proof$ = 
void -> assump1: Let's assume that the whirler is a shad.; sent5 & assump1 -> int1: that the whirler is a need and does not report Adad is incorrect.; sent6 & sent8 -> int2: the whirler is a kind of a need and does not report Adad.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whirler is not a kind of a shad.; sent4 -> int5: the gather is not a octavo if it is not cranial and it is a shad.; __UNKNOWN__