the addax is a sunniness.
sent1: the fact that something is not a sunniness hold if the fact that it is both a sunniness and not a Halle is wrong. sent2: if the bettong is not minimal the fold is inefficient. sent3: if the bettong is a chelation it does not space and it is not inefficient. sent4: the fountainhead is not a kind of a Halle. sent5: the fold is a chelation. sent6: the matchboard is a kind of a Halle. sent7: if there is something such that it is not a spaced and is not inefficient the metatarsus is a Halle. sent8: the matchboard is a population. sent9: something is a Halle but it is not minimal. sent10: there exists something such that that it is not avionic and is inefficient is incorrect. sent11: the bettong is a kind of a chelation. sent12: something is not minimal but it is a watercourse. sent13: the bettong is not a kind of a FHA. sent14: the fold is a sunniness. sent15: if a non-inefficient thing is not a kind of a sunniness then the fact that the addax is minimal is true. sent16: the thysanopter is avionic and does justify Chippendale. sent17: the matchboard is not a watercourse if it is avionic and it is minimal. sent18: the sigmoidoscope is a kind of a watercourse. sent19: the promycelium is inefficient. sent20: the matchboard is inefficient. sent21: if there exists something such that the fact that it is not minimal and not a FHA is not right then the fold is minimal. sent22: there exists something such that that it is a kind of non-avionic thing that is a watercourse is not true. sent23: there is something such that that it is not minimal and it is not a FHA is not true. sent24: the matchboard is minimal if the fold is minimal. sent25: the addax is a sunniness if the matchboard is not a watercourse. sent26: if the bettong is a kind of a chelation then it is not inefficient. sent27: there exists something such that it is not minimal and it is not a FHA.
sent3 & sent11 -> int1: the bettong is not a spaced and is not inefficient.; int1 -> int2: something is not a spaced and is not inefficient.; int2 & sent7 -> int3: the metatarsus is a kind of a Halle.; sent23 & sent21 -> int4: the fold is minimal.; sent24 & int4 -> int5: that the matchboard is minimal is true.;
the addax is not a kind of a sunniness.
sent1 -> int6: if the fact that the addax is a sunniness but it is not a Halle is not right it is not a sunniness.;
$hypothesis$ = the addax is a sunniness. ; $context$ = sent1: the fact that something is not a sunniness hold if the fact that it is both a sunniness and not a Halle is wrong. sent2: if the bettong is not minimal the fold is inefficient. sent3: if the bettong is a chelation it does not space and it is not inefficient. sent4: the fountainhead is not a kind of a Halle. sent5: the fold is a chelation. sent6: the matchboard is a kind of a Halle. sent7: if there is something such that it is not a spaced and is not inefficient the metatarsus is a Halle. sent8: the matchboard is a population. sent9: something is a Halle but it is not minimal. sent10: there exists something such that that it is not avionic and is inefficient is incorrect. sent11: the bettong is a kind of a chelation. sent12: something is not minimal but it is a watercourse. sent13: the bettong is not a kind of a FHA. sent14: the fold is a sunniness. sent15: if a non-inefficient thing is not a kind of a sunniness then the fact that the addax is minimal is true. sent16: the thysanopter is avionic and does justify Chippendale. sent17: the matchboard is not a watercourse if it is avionic and it is minimal. sent18: the sigmoidoscope is a kind of a watercourse. sent19: the promycelium is inefficient. sent20: the matchboard is inefficient. sent21: if there exists something such that the fact that it is not minimal and not a FHA is not right then the fold is minimal. sent22: there exists something such that that it is a kind of non-avionic thing that is a watercourse is not true. sent23: there is something such that that it is not minimal and it is not a FHA is not true. sent24: the matchboard is minimal if the fold is minimal. sent25: the addax is a sunniness if the matchboard is not a watercourse. sent26: if the bettong is a kind of a chelation then it is not inefficient. sent27: there exists something such that it is not minimal and it is not a FHA. ; $proof$ = 
sent3 & sent11 -> int1: the bettong is not a spaced and is not inefficient.; int1 -> int2: something is not a spaced and is not inefficient.; int2 & sent7 -> int3: the metatarsus is a kind of a Halle.; sent23 & sent21 -> int4: the fold is minimal.; sent24 & int4 -> int5: that the matchboard is minimal is true.; __UNKNOWN__