the pince-nez is a logwood.
sent1: something is a bullfight if it apprentices. sent2: something is a logwood if the fact that it is unipolar is right. sent3: something is not a kind of an aquatic if the fact that it is not a Vincetoxicum and it is not a drum is not true. sent4: the owl is unipolar thing that is a logwood if there is something such that it is a kind of a bullfight. sent5: the saran is not a alizarin. sent6: there is nothing such that it is not a kind of a Vincetoxicum and does not drum. sent7: the saran is an apprentice and a hound's-tongue. sent8: the fact that the pince-nez squishes chaff is not wrong if the saran is not a alizarin.
sent2 -> int1: the pince-nez is a kind of a logwood if it is unipolar.;
the owl does squish Shylock and it is unipolar.
sent7 -> int2: the saran does apprentice.; sent1 -> int3: the saran is a kind of a bullfight if it apprentices.; int2 & int3 -> int4: the saran is a bullfight.; int4 -> int5: something is a bullfight.; sent4 & int5 -> int6: the owl is unipolar and it is a logwood.; int6 -> int7: the owl is unipolar.; sent3 -> int8: that the counterspy is not an aquatic is not wrong if that it is not a Vincetoxicum and not a drum is not true.; sent6 -> int9: the fact that the counterspy is not a Vincetoxicum and does not drum is not true.; int8 & int9 -> int10: the counterspy is not a kind of an aquatic.; int10 -> int11: everything is not a kind of an aquatic.; int11 -> int12: the pince-nez is not an aquatic.;
$hypothesis$ = the pince-nez is a logwood. ; $context$ = sent1: something is a bullfight if it apprentices. sent2: something is a logwood if the fact that it is unipolar is right. sent3: something is not a kind of an aquatic if the fact that it is not a Vincetoxicum and it is not a drum is not true. sent4: the owl is unipolar thing that is a logwood if there is something such that it is a kind of a bullfight. sent5: the saran is not a alizarin. sent6: there is nothing such that it is not a kind of a Vincetoxicum and does not drum. sent7: the saran is an apprentice and a hound's-tongue. sent8: the fact that the pince-nez squishes chaff is not wrong if the saran is not a alizarin. ; $proof$ = 
sent2 -> int1: the pince-nez is a kind of a logwood if it is unipolar.; __UNKNOWN__