the fact that the washtub is not a verbolatry and/or does swab is wrong.
sent1: the washtub is not choleraic if the smut marbles voice and is a warhead. sent2: the poudrin is cranial and Hispaniolan. sent3: that the washtub is not choleraic or is a warhead or both does not hold if it does not number Lentinus. sent4: the washtub is a kind of a muser. sent5: the voice is a warhead. sent6: the washtub is not a Tappan. sent7: the smut does slink cerebrum. sent8: if the washtub is not choleraic then the fact that it is not a verbolatry or it is a swab or both does not hold. sent9: the smut numbers Lentinus and is Hispaniolan. sent10: The cerebrum does slink smut. sent11: the washtub numbers Lentinus. sent12: something marbles voice if it numbers Lentinus. sent13: the scuffle does number Lentinus and it is a Tuber. sent14: the cowage is a kind of a biographer if it is Hispaniolan. sent15: the washtub marbles agribusiness. sent16: that the mouthbreeder is not a bidding or slinks cerebrum or both is wrong. sent17: the smut is a carcase. sent18: the washtub is Hispaniolan. sent19: the smut is choleraic if it does slink cerebrum. sent20: that the smut is not a swab or it does marble voice or both is not true if it does not number Lentinus. sent21: that the cerebrum is a dugout hold if it is a fastidiousness. sent22: the smut stipulates.
sent9 -> int1: the smut does number Lentinus.; sent12 -> int2: the smut marbles voice if it does number Lentinus.; int1 & int2 -> int3: the smut does marble voice.;
$hypothesis$ = the fact that the washtub is not a verbolatry and/or does swab is wrong. ; $context$ = sent1: the washtub is not choleraic if the smut marbles voice and is a warhead. sent2: the poudrin is cranial and Hispaniolan. sent3: that the washtub is not choleraic or is a warhead or both does not hold if it does not number Lentinus. sent4: the washtub is a kind of a muser. sent5: the voice is a warhead. sent6: the washtub is not a Tappan. sent7: the smut does slink cerebrum. sent8: if the washtub is not choleraic then the fact that it is not a verbolatry or it is a swab or both does not hold. sent9: the smut numbers Lentinus and is Hispaniolan. sent10: The cerebrum does slink smut. sent11: the washtub numbers Lentinus. sent12: something marbles voice if it numbers Lentinus. sent13: the scuffle does number Lentinus and it is a Tuber. sent14: the cowage is a kind of a biographer if it is Hispaniolan. sent15: the washtub marbles agribusiness. sent16: that the mouthbreeder is not a bidding or slinks cerebrum or both is wrong. sent17: the smut is a carcase. sent18: the washtub is Hispaniolan. sent19: the smut is choleraic if it does slink cerebrum. sent20: that the smut is not a swab or it does marble voice or both is not true if it does not number Lentinus. sent21: that the cerebrum is a dugout hold if it is a fastidiousness. sent22: the smut stipulates. ; $proof$ = 
sent9 -> int1: the smut does number Lentinus.; sent12 -> int2: the smut marbles voice if it does number Lentinus.; int1 & int2 -> int3: the smut does marble voice.; __UNKNOWN__