the dolly is not a Tappan.
sent1: if something is a kind of a Rachel that is not a kind of a bestowal then the dolly is not a Tappan. sent2: something that is disintegrative is a volley. sent3: the sponge does render inhabitant if there is something such that the fact that it is viviparous and it is a kind of a tilt is not correct. sent4: if something is not matriarchal that the roadkill is a kind of viviparous thing that does tilt is wrong. sent5: there are unbroken and non-subatomic things. sent6: if the sponge is a kind of a volley then the Sunni is cellulosid. sent7: the pasta is a kind of a Rachel and is not a kind of a bestowal if the Sunni is cellulosid. sent8: something is disintegrative if it does render inhabitant.
sent8 -> int1: if the sponge renders inhabitant then the fact that it is disintegrative is not false.; sent2 -> int2: the sponge is a volley if it is disintegrative.;
$hypothesis$ = the dolly is not a Tappan. ; $context$ = sent1: if something is a kind of a Rachel that is not a kind of a bestowal then the dolly is not a Tappan. sent2: something that is disintegrative is a volley. sent3: the sponge does render inhabitant if there is something such that the fact that it is viviparous and it is a kind of a tilt is not correct. sent4: if something is not matriarchal that the roadkill is a kind of viviparous thing that does tilt is wrong. sent5: there are unbroken and non-subatomic things. sent6: if the sponge is a kind of a volley then the Sunni is cellulosid. sent7: the pasta is a kind of a Rachel and is not a kind of a bestowal if the Sunni is cellulosid. sent8: something is disintegrative if it does render inhabitant. ; $proof$ = 
sent8 -> int1: if the sponge renders inhabitant then the fact that it is disintegrative is not false.; sent2 -> int2: the sponge is a volley if it is disintegrative.; __UNKNOWN__