the indinavir crushes.
sent1: if something is not a financing and is a one-quadrillionth it is a crushing. sent2: the thurifer is either psychometric or not a Mahayanist or both if the fact that the dyewood underlies is true. sent3: the dyewood does underlie if the helvella is agrypnotic. sent4: the helvella either is characteristic or is agrypnotic or both. sent5: that something does not crush is not false if it is not agrypnotic and it is a kind of a characteristic. sent6: if the neckwear rolls nutshell the indinavir does not finance but it is a one-quadrillionth. sent7: the neckwear does roll nutshell or is not agrypnotic or both if the helvella is a characteristic. sent8: the fact that if the thurifer is psychometric and/or is not a Mahayanist then that the paleocerebellum is not a kind of a potherb is right is not incorrect. sent9: if the helvella is characteristic the dyewood does underlie.
sent4 & sent9 & sent3 -> int1: the dyewood underlies.; int1 & sent2 -> int2: the thurifer either is psychometric or is not a Mahayanist or both.; int2 & sent8 -> int3: the paleocerebellum is not a kind of a potherb.; int3 -> int4: something is not a potherb.; sent1 -> int5: the indinavir is a kind of a crushing if it is not a financing but a one-quadrillionth.;
the indinavir is not a crushing.
sent5 -> int6: the indinavir is not a crushing if it is not agrypnotic and it is not uncharacteristic.;
$hypothesis$ = the indinavir crushes. ; $context$ = sent1: if something is not a financing and is a one-quadrillionth it is a crushing. sent2: the thurifer is either psychometric or not a Mahayanist or both if the fact that the dyewood underlies is true. sent3: the dyewood does underlie if the helvella is agrypnotic. sent4: the helvella either is characteristic or is agrypnotic or both. sent5: that something does not crush is not false if it is not agrypnotic and it is a kind of a characteristic. sent6: if the neckwear rolls nutshell the indinavir does not finance but it is a one-quadrillionth. sent7: the neckwear does roll nutshell or is not agrypnotic or both if the helvella is a characteristic. sent8: the fact that if the thurifer is psychometric and/or is not a Mahayanist then that the paleocerebellum is not a kind of a potherb is right is not incorrect. sent9: if the helvella is characteristic the dyewood does underlie. ; $proof$ = 
sent4 & sent9 & sent3 -> int1: the dyewood underlies.; int1 & sent2 -> int2: the thurifer either is psychometric or is not a Mahayanist or both.; int2 & sent8 -> int3: the paleocerebellum is not a kind of a potherb.; int3 -> int4: something is not a potherb.; sent1 -> int5: the indinavir is a kind of a crushing if it is not a financing but a one-quadrillionth.; __UNKNOWN__