the blowfly is non-Noachian.
sent1: the leatherleaf is a season. sent2: that the leatherleaf is not Noachian is true if the blowfly is not an unknown. sent3: something is not acquaintance. sent4: if the ichthyosaurus is not nonexistent the leatherleaf is a kind of an unknown but it does not overwork. sent5: the blowfly is not existent. sent6: the leatherleaf is Noachian if the blowfly is a Tappan. sent7: something citifies Demulen if that it does not citifies Demulen and it is a kind of an unknown does not hold. sent8: the leatherleaf is an encephalopathy. sent9: if the leatherleaf is a salpinx the concessionaire overworks. sent10: the ichthyosaurus is not nonexistent. sent11: something does overwork and it is unavailable. sent12: the leatherleaf does citify Demulen if it is a kind of an encephalopathy and it is not unavailable. sent13: something does citify Demulen. sent14: the leatherleaf is an encephalopathy and is not nonexistent. sent15: if the concessionaire is a kind of a salpinx the leatherleaf is an encephalopathy and available. sent16: the concessionaire is a salpinx. sent17: the leatherleaf is a kind of a Tappan. sent18: the Demulen is a kind of an encephalopathy and does build durance. sent19: if there exists something such that it does citify Demulen and it is unknown then the blowfly is a Tappan. sent20: the blowfly is not Noachian and it is not a salpinx if the concessionaire citifies Demulen. sent21: the leatherleaf is not an overwork. sent22: the concessionaire is nonexistent. sent23: something is Noachian if it is a Tappan. sent24: if that something is nonexistent is right it is a kind of an encephalopathy. sent25: there exists something such that it is a hoatzin. sent26: the concessionaire is an overwork.
sent15 & sent16 -> int1: the leatherleaf is an encephalopathy but not unavailable.; int1 & sent12 -> int2: that the leatherleaf citifies Demulen is true.; sent4 & sent10 -> int3: the leatherleaf is a kind of an unknown but it does not overwork.; int3 -> int4: that the leatherleaf is unknown is not incorrect.; int2 & int4 -> int5: the leatherleaf citifies Demulen and is an unknown.; int5 -> int6: there exists something such that the fact that it citifies Demulen and is a kind of an unknown is not false.; int6 & sent19 -> int7: the blowfly is a Tappan.; sent23 -> int8: the blowfly is Noachian if it is a Tappan.; int7 & int8 -> hypothesis;
the blowfly is not Noachian.
sent7 -> int9: the concessionaire does citify Demulen if the fact that it does not citify Demulen and it is unknown is false.;
$hypothesis$ = the blowfly is non-Noachian. ; $context$ = sent1: the leatherleaf is a season. sent2: that the leatherleaf is not Noachian is true if the blowfly is not an unknown. sent3: something is not acquaintance. sent4: if the ichthyosaurus is not nonexistent the leatherleaf is a kind of an unknown but it does not overwork. sent5: the blowfly is not existent. sent6: the leatherleaf is Noachian if the blowfly is a Tappan. sent7: something citifies Demulen if that it does not citifies Demulen and it is a kind of an unknown does not hold. sent8: the leatherleaf is an encephalopathy. sent9: if the leatherleaf is a salpinx the concessionaire overworks. sent10: the ichthyosaurus is not nonexistent. sent11: something does overwork and it is unavailable. sent12: the leatherleaf does citify Demulen if it is a kind of an encephalopathy and it is not unavailable. sent13: something does citify Demulen. sent14: the leatherleaf is an encephalopathy and is not nonexistent. sent15: if the concessionaire is a kind of a salpinx the leatherleaf is an encephalopathy and available. sent16: the concessionaire is a salpinx. sent17: the leatherleaf is a kind of a Tappan. sent18: the Demulen is a kind of an encephalopathy and does build durance. sent19: if there exists something such that it does citify Demulen and it is unknown then the blowfly is a Tappan. sent20: the blowfly is not Noachian and it is not a salpinx if the concessionaire citifies Demulen. sent21: the leatherleaf is not an overwork. sent22: the concessionaire is nonexistent. sent23: something is Noachian if it is a Tappan. sent24: if that something is nonexistent is right it is a kind of an encephalopathy. sent25: there exists something such that it is a hoatzin. sent26: the concessionaire is an overwork. ; $proof$ = 
sent15 & sent16 -> int1: the leatherleaf is an encephalopathy but not unavailable.; int1 & sent12 -> int2: that the leatherleaf citifies Demulen is true.; sent4 & sent10 -> int3: the leatherleaf is a kind of an unknown but it does not overwork.; int3 -> int4: that the leatherleaf is unknown is not incorrect.; int2 & int4 -> int5: the leatherleaf citifies Demulen and is an unknown.; int5 -> int6: there exists something such that the fact that it citifies Demulen and is a kind of an unknown is not false.; int6 & sent19 -> int7: the blowfly is a Tappan.; sent23 -> int8: the blowfly is Noachian if it is a Tappan.; int7 & int8 -> hypothesis; __DISPROVED__