the groupie is a yacht.
sent1: something is a kind of a yacht if the fact that it is a kind of a spin and it is not a yacht is not right. sent2: if the fact that the Wiener is undramatic and/or it is a backpack is false then the frigidity is not undramatic. sent3: the coach is civilian and it is sartorial if there exists something such that it is not unconquerable. sent4: the coach is a kind of a unguiculate. sent5: the fact that the coach is a antefix if the fact that the frigidity is not a kind of a anorchism and it is not a antefix does not hold is true. sent6: the chainsaw does spin if it is supervisory. sent7: if something that is a kind of a spin is supervisory then it is not a yacht. sent8: something is a antefix if it is sartorial. sent9: the fact that the chainsaw does not greet allies and/or it is not a unguiculate is wrong if the whiteface is not a prospector. sent10: if the fact that the astrologer dumps Newark and it is unconquerable does not hold then it is unconquerable. sent11: if the Wiener is not a Briton then the fact that it is undramatic or does backpack or both is incorrect. sent12: that the frigidity is not a anorchism and not a antefix does not hold if it is not undramatic. sent13: if something is a kind of a civilian the fact that it is a yacht hold. sent14: the fact that the fact that the astrologer does dump Newark and is unconquerable is not true is right. sent15: the Wiener is not a Briton. sent16: the chainsaw is sartorial. sent17: the chainsaw is supervisory. sent18: that the coach is a unguiculate and is not a prospector if the whiteface does greet allies is right. sent19: something is not a Hittite if that it does not greet allies and/or is not a kind of a unguiculate is not right. sent20: the groupie is a civilian if the astrologer is not a antefix. sent21: the whiteface does greet allies if a spin is a kind of a Hittite. sent22: if the coach is a unguiculate that is not a prospector then the astrologer is not a antefix.
sent6 & sent17 -> int1: the chainsaw is a spin.; sent13 -> int2: if the groupie is a civilian then the fact that it is a kind of a yacht is not wrong.;
the groupie is not a yacht.
sent7 -> int3: the groupie is not a yacht if that it does spin and it is supervisory is not wrong.; sent19 -> int4: if the fact that the chainsaw does not greet allies or is not a kind of a unguiculate or both is wrong it is not a kind of a Hittite.; sent11 & sent15 -> int5: that the Wiener either is undramatic or does backpack or both is not true.; sent2 & int5 -> int6: the frigidity is not undramatic.; sent12 & int6 -> int7: the fact that the frigidity is not a anorchism and it is not a kind of a antefix is not true.; sent5 & int7 -> int8: the coach is a antefix.; sent10 & sent14 -> int9: the astrologer is not unconquerable.; int9 -> int10: there exists something such that it is not unconquerable.; int10 & sent3 -> int11: the coach is a kind of a civilian and it is sartorial.; int11 -> int12: the coach is a civilian.; int8 & int12 -> int13: the coach is a antefix that is a kind of a civilian.; int13 -> int14: something is a antefix and is a kind of a civilian.;
$hypothesis$ = the groupie is a yacht. ; $context$ = sent1: something is a kind of a yacht if the fact that it is a kind of a spin and it is not a yacht is not right. sent2: if the fact that the Wiener is undramatic and/or it is a backpack is false then the frigidity is not undramatic. sent3: the coach is civilian and it is sartorial if there exists something such that it is not unconquerable. sent4: the coach is a kind of a unguiculate. sent5: the fact that the coach is a antefix if the fact that the frigidity is not a kind of a anorchism and it is not a antefix does not hold is true. sent6: the chainsaw does spin if it is supervisory. sent7: if something that is a kind of a spin is supervisory then it is not a yacht. sent8: something is a antefix if it is sartorial. sent9: the fact that the chainsaw does not greet allies and/or it is not a unguiculate is wrong if the whiteface is not a prospector. sent10: if the fact that the astrologer dumps Newark and it is unconquerable does not hold then it is unconquerable. sent11: if the Wiener is not a Briton then the fact that it is undramatic or does backpack or both is incorrect. sent12: that the frigidity is not a anorchism and not a antefix does not hold if it is not undramatic. sent13: if something is a kind of a civilian the fact that it is a yacht hold. sent14: the fact that the fact that the astrologer does dump Newark and is unconquerable is not true is right. sent15: the Wiener is not a Briton. sent16: the chainsaw is sartorial. sent17: the chainsaw is supervisory. sent18: that the coach is a unguiculate and is not a prospector if the whiteface does greet allies is right. sent19: something is not a Hittite if that it does not greet allies and/or is not a kind of a unguiculate is not right. sent20: the groupie is a civilian if the astrologer is not a antefix. sent21: the whiteface does greet allies if a spin is a kind of a Hittite. sent22: if the coach is a unguiculate that is not a prospector then the astrologer is not a antefix. ; $proof$ = 
sent6 & sent17 -> int1: the chainsaw is a spin.; sent13 -> int2: if the groupie is a civilian then the fact that it is a kind of a yacht is not wrong.; __UNKNOWN__