the goatsfoot is conjunctival.
sent1: if that the fink is liliaceous and does not confine clew is not true then the fact that it is liliaceous is right. sent2: if the goatsfoot is not a flophouse then the fact that the artery is not numeric and is catatonic is not right. sent3: if the artery is liliaceous and/or is noncompetitive the goatsfoot does not confine clew. sent4: there exists something such that the fact that it is not a Pandion and it is a kind of a Nicotiana is not true. sent5: if something is a flophouse and not competitive then it is not conjunctival. sent6: the goatsfoot does not confine clew if the artery is liliaceous. sent7: that the fink is liliaceous and does not confine clew is wrong if there is something such that it confine clew. sent8: if there exists something such that it is a Pandion then the artery is a flophouse. sent9: the goatsfoot does not confine clew if the artery is reflective. sent10: if there exists something such that the fact that it is both not a Pandion and a Nicotiana is false the artery is a flophouse. sent11: there is something such that that it is both a Pandion and a Nicotiana does not hold. sent12: something is not a Pandion but a Nicotiana. sent13: the fink is reflective. sent14: if the fink is reflective then the fact that it does not confine clew and is liliaceous is not correct. sent15: the artery confines clew if there is something such that the fact that it is both not reflective and noncompetitive does not hold. sent16: if the goatsfoot does not confine clew it is reflective. sent17: the tinter does confine clew. sent18: if something does not confine clew it is reflective. sent19: if something is a flophouse it is noncompetitive. sent20: something is a kind of reflective thing that is conjunctival if it does not confine clew. sent21: the purser is not liliaceous.
sent4 & sent10 -> int1: the artery is a flophouse.; sent19 -> int2: if the artery is a flophouse it is noncompetitive.; int1 & int2 -> int3: the artery is noncompetitive.; int3 -> int4: either the artery is liliaceous or it is noncompetitive or both.; int4 & sent3 -> int5: the goatsfoot does not confine clew.; sent20 -> int6: if the goatsfoot does not confine clew it is reflective and it is conjunctival.; int5 & int6 -> int7: the goatsfoot is reflective and conjunctival.; int7 -> hypothesis;
the goatsfoot is not conjunctival.
sent5 -> int8: if the goatsfoot is a flophouse and is noncompetitive then it is not conjunctival.; sent14 & sent13 -> int9: that the fink does not confine clew but it is liliaceous is wrong.; int9 -> int10: there exists something such that the fact that it does not confine clew and it is liliaceous is not correct.;
$hypothesis$ = the goatsfoot is conjunctival. ; $context$ = sent1: if that the fink is liliaceous and does not confine clew is not true then the fact that it is liliaceous is right. sent2: if the goatsfoot is not a flophouse then the fact that the artery is not numeric and is catatonic is not right. sent3: if the artery is liliaceous and/or is noncompetitive the goatsfoot does not confine clew. sent4: there exists something such that the fact that it is not a Pandion and it is a kind of a Nicotiana is not true. sent5: if something is a flophouse and not competitive then it is not conjunctival. sent6: the goatsfoot does not confine clew if the artery is liliaceous. sent7: that the fink is liliaceous and does not confine clew is wrong if there is something such that it confine clew. sent8: if there exists something such that it is a Pandion then the artery is a flophouse. sent9: the goatsfoot does not confine clew if the artery is reflective. sent10: if there exists something such that the fact that it is both not a Pandion and a Nicotiana is false the artery is a flophouse. sent11: there is something such that that it is both a Pandion and a Nicotiana does not hold. sent12: something is not a Pandion but a Nicotiana. sent13: the fink is reflective. sent14: if the fink is reflective then the fact that it does not confine clew and is liliaceous is not correct. sent15: the artery confines clew if there is something such that the fact that it is both not reflective and noncompetitive does not hold. sent16: if the goatsfoot does not confine clew it is reflective. sent17: the tinter does confine clew. sent18: if something does not confine clew it is reflective. sent19: if something is a flophouse it is noncompetitive. sent20: something is a kind of reflective thing that is conjunctival if it does not confine clew. sent21: the purser is not liliaceous. ; $proof$ = 
sent4 & sent10 -> int1: the artery is a flophouse.; sent19 -> int2: if the artery is a flophouse it is noncompetitive.; int1 & int2 -> int3: the artery is noncompetitive.; int3 -> int4: either the artery is liliaceous or it is noncompetitive or both.; int4 & sent3 -> int5: the goatsfoot does not confine clew.; sent20 -> int6: if the goatsfoot does not confine clew it is reflective and it is conjunctival.; int5 & int6 -> int7: the goatsfoot is reflective and conjunctival.; int7 -> hypothesis; __PROVED__