the fact that either the bolus is hypophyseal or it is pilar or both is not right.
sent1: the FM is not a buckeye if the genre bulldogs. sent2: the fact that the fact that the cemetery is not a redcoat but it is a Nativity is right does not hold if the Tenoretic is a redcoat. sent3: the bolus is a bulldog that is hypophyseal if the genre is not a buckeye. sent4: if the FM is not a buckeye then the Perm is a buckeye but it does not bawl whimper. sent5: the FM sensualizes colonialism and it is a Nativity. sent6: that something bawls whimper but it is not a redcoat is not right if it is a Nativity. sent7: the fact that the bolus is not pilar is not false. sent8: if the baddeleyite is not hypophyseal then the bolus is not pilar. sent9: if the Tenoretic is a kind of a redcoat that the cemetery is not a kind of a redcoat and is not a kind of a Nativity is not right. sent10: that the bolus either is hypophyseal or is pilar or both is not true if the baddeleyite is not hypophyseal. sent11: the baddeleyite is non-hypophyseal if that the cemetery is a kind of a Nativity is true. sent12: the genre bulldogs. sent13: the fact that the bolus is not a buckeye and is not hypophyseal is not right if the FM is a buckeye. sent14: if the Perm is a buckeye but it does not bawl whimper that the Tenoretic is a redcoat is true. sent15: the Perm is a kind of a buckeye.
sent1 & sent12 -> int1: the FM is not a buckeye.; sent4 & int1 -> int2: the Perm is a buckeye but it does not bawl whimper.; sent14 & int2 -> int3: that the Tenoretic is a kind of a redcoat is not wrong.; sent9 & int3 -> int4: the fact that the cemetery is not a redcoat and it is not a kind of a Nativity is not true.;
the bolus is hypophyseal and/or it is pilar.
sent6 -> int5: that the FM does bawl whimper and is not a kind of a redcoat is false if it is a Nativity.; sent5 -> int6: the FM is a Nativity.; int5 & int6 -> int7: the fact that the FM does bawl whimper and is not a redcoat does not hold.; int7 -> int8: there is something such that that it bawls whimper and is not a redcoat is not correct.;
$hypothesis$ = the fact that either the bolus is hypophyseal or it is pilar or both is not right. ; $context$ = sent1: the FM is not a buckeye if the genre bulldogs. sent2: the fact that the fact that the cemetery is not a redcoat but it is a Nativity is right does not hold if the Tenoretic is a redcoat. sent3: the bolus is a bulldog that is hypophyseal if the genre is not a buckeye. sent4: if the FM is not a buckeye then the Perm is a buckeye but it does not bawl whimper. sent5: the FM sensualizes colonialism and it is a Nativity. sent6: that something bawls whimper but it is not a redcoat is not right if it is a Nativity. sent7: the fact that the bolus is not pilar is not false. sent8: if the baddeleyite is not hypophyseal then the bolus is not pilar. sent9: if the Tenoretic is a kind of a redcoat that the cemetery is not a kind of a redcoat and is not a kind of a Nativity is not right. sent10: that the bolus either is hypophyseal or is pilar or both is not true if the baddeleyite is not hypophyseal. sent11: the baddeleyite is non-hypophyseal if that the cemetery is a kind of a Nativity is true. sent12: the genre bulldogs. sent13: the fact that the bolus is not a buckeye and is not hypophyseal is not right if the FM is a buckeye. sent14: if the Perm is a buckeye but it does not bawl whimper that the Tenoretic is a redcoat is true. sent15: the Perm is a kind of a buckeye. ; $proof$ = 
sent1 & sent12 -> int1: the FM is not a buckeye.; sent4 & int1 -> int2: the Perm is a buckeye but it does not bawl whimper.; sent14 & int2 -> int3: that the Tenoretic is a kind of a redcoat is not wrong.; sent9 & int3 -> int4: the fact that the cemetery is not a redcoat and it is not a kind of a Nativity is not true.; __UNKNOWN__