the bobby is not phyllodial.
sent1: something is both a pleasingness and not a voyage if it is a hairiness. sent2: if that the predecessor is not a kind of a Nox but it is profaned is wrong the fact that the bobby is phyllodial is right. sent3: something is not an overflow. sent4: the fact that something overflows and is not a kind of a Nox is not false if it is profaned. sent5: that something does not outsail paperboard and is profaned is not true if it does not overflow. sent6: the fact that the predecessor is not a Nox and is profaned is not right if there exists something such that it does not overflow. sent7: there exists something such that that it is not a hairiness and is not distinct is incorrect. sent8: if something is a pleasingness and not a voyage the fact that it is profaned hold.
sent3 & sent6 -> int1: that the predecessor is both not a Nox and profaned does not hold.; sent2 & int1 -> hypothesis;
the bobby is not phyllodial.
sent4 -> int2: if the predecessor is profaned it is an overflow and it is not a Nox.; sent8 -> int3: if the predecessor is both a pleasingness and not a voyage it is profaned.; sent1 -> int4: if the predecessor is a hairiness it is a pleasingness and it does not voyage.;
$hypothesis$ = the bobby is not phyllodial. ; $context$ = sent1: something is both a pleasingness and not a voyage if it is a hairiness. sent2: if that the predecessor is not a kind of a Nox but it is profaned is wrong the fact that the bobby is phyllodial is right. sent3: something is not an overflow. sent4: the fact that something overflows and is not a kind of a Nox is not false if it is profaned. sent5: that something does not outsail paperboard and is profaned is not true if it does not overflow. sent6: the fact that the predecessor is not a Nox and is profaned is not right if there exists something such that it does not overflow. sent7: there exists something such that that it is not a hairiness and is not distinct is incorrect. sent8: if something is a pleasingness and not a voyage the fact that it is profaned hold. ; $proof$ = 
sent3 & sent6 -> int1: that the predecessor is both not a Nox and profaned does not hold.; sent2 & int1 -> hypothesis; __DISPROVED__