the tailplane is not wolflike.
sent1: something is not anadromous if it is not cervine. sent2: the autochthon does not rehabilitate videocassette. sent3: the fact that something labors bastinado is right. sent4: that the cross is either not an amount or not clitoral or both is false if the autochthon is not clitoral. sent5: the fact that if something does not amount the fact that it is not vacuolate and not a distillate is false hold. sent6: if something is not cervine the fact that it is not clitoral hold. sent7: the tailplane is tropical and it is an amount. sent8: if something is a kind of a Shivaist and it labors Ozothamnus it is not vacuolate. sent9: if the tailplane labors isogamete and is wolflike then it is non-anadromous. sent10: if that the autochthon is not anadromous and does labor isogamete is incorrect then it is non-cervine. sent11: there exists something such that the fact that it is a Sunnah hold. sent12: if something is a topicalization but it does not rehabilitate videocassette the tailplane is a kind of a distillate. sent13: the fact that the autochthon is non-anadromous and does labor isogamete does not hold. sent14: if something does not rehabilitate videocassette that it is a topicalization that is a kind of an amount is incorrect. sent15: the autochthon is vacuolate. sent16: if that something is a kind of a topicalization and it does amount is not true it is not an amount. sent17: the fact that something is not wolflike if it is both a distillate and vacuolate is not false. sent18: the tailplane is vacuolate if there is something such that the fact that it is not an amount and/or is not clitoral is not correct. sent19: that the soup-strainer is cervine and a topicalization is incorrect. sent20: the soup-strainer is a topicalization and does not rehabilitate videocassette. sent21: if the fact that the soup-strainer is not vacuolate and it is not a distillate is incorrect then the cross is vacuolate.
sent10 & sent13 -> int1: the autochthon is not cervine.; sent6 -> int2: the autochthon is not clitoral if the fact that it is not cervine is not incorrect.; int1 & int2 -> int3: the autochthon is not clitoral.; int3 & sent4 -> int4: the fact that either the cross is not an amount or it is not clitoral or both is not right.; int4 -> int5: there is something such that that it does not amount and/or it is not clitoral is false.; int5 & sent18 -> int6: the tailplane is vacuolate.; sent20 -> int7: there is something such that it is a topicalization and it does not rehabilitate videocassette.; int7 & sent12 -> int8: the tailplane is a kind of a distillate.; int6 & int8 -> int9: the tailplane is a kind of a distillate and is vacuolate.; sent17 -> int10: if the tailplane is a kind of a distillate and it is vacuolate then that it is not wolflike hold.; int9 & int10 -> hypothesis;
the tailplane is wolflike.
sent5 -> int11: the fact that the soup-strainer is non-vacuolate thing that is not a distillate is wrong if it is not a kind of an amount.; sent16 -> int12: if that the cord is a topicalization and an amount is incorrect then it is not an amount.; sent14 -> int13: if the falcon does not rehabilitate videocassette then that it is a topicalization and it is an amount is not right.;
$hypothesis$ = the tailplane is not wolflike. ; $context$ = sent1: something is not anadromous if it is not cervine. sent2: the autochthon does not rehabilitate videocassette. sent3: the fact that something labors bastinado is right. sent4: that the cross is either not an amount or not clitoral or both is false if the autochthon is not clitoral. sent5: the fact that if something does not amount the fact that it is not vacuolate and not a distillate is false hold. sent6: if something is not cervine the fact that it is not clitoral hold. sent7: the tailplane is tropical and it is an amount. sent8: if something is a kind of a Shivaist and it labors Ozothamnus it is not vacuolate. sent9: if the tailplane labors isogamete and is wolflike then it is non-anadromous. sent10: if that the autochthon is not anadromous and does labor isogamete is incorrect then it is non-cervine. sent11: there exists something such that the fact that it is a Sunnah hold. sent12: if something is a topicalization but it does not rehabilitate videocassette the tailplane is a kind of a distillate. sent13: the fact that the autochthon is non-anadromous and does labor isogamete does not hold. sent14: if something does not rehabilitate videocassette that it is a topicalization that is a kind of an amount is incorrect. sent15: the autochthon is vacuolate. sent16: if that something is a kind of a topicalization and it does amount is not true it is not an amount. sent17: the fact that something is not wolflike if it is both a distillate and vacuolate is not false. sent18: the tailplane is vacuolate if there is something such that the fact that it is not an amount and/or is not clitoral is not correct. sent19: that the soup-strainer is cervine and a topicalization is incorrect. sent20: the soup-strainer is a topicalization and does not rehabilitate videocassette. sent21: if the fact that the soup-strainer is not vacuolate and it is not a distillate is incorrect then the cross is vacuolate. ; $proof$ = 
sent10 & sent13 -> int1: the autochthon is not cervine.; sent6 -> int2: the autochthon is not clitoral if the fact that it is not cervine is not incorrect.; int1 & int2 -> int3: the autochthon is not clitoral.; int3 & sent4 -> int4: the fact that either the cross is not an amount or it is not clitoral or both is not right.; int4 -> int5: there is something such that that it does not amount and/or it is not clitoral is false.; int5 & sent18 -> int6: the tailplane is vacuolate.; sent20 -> int7: there is something such that it is a topicalization and it does not rehabilitate videocassette.; int7 & sent12 -> int8: the tailplane is a kind of a distillate.; int6 & int8 -> int9: the tailplane is a kind of a distillate and is vacuolate.; sent17 -> int10: if the tailplane is a kind of a distillate and it is vacuolate then that it is not wolflike hold.; int9 & int10 -> hypothesis; __PROVED__