the aminopyrine is a kind of a Tyler.
sent1: the speller does not reckon habergeon. sent2: the aminopyrine is not a Tyler if the tail is a kind of a relative but it is not a kind of a number. sent3: the fact that something laces dromedary is not false if it is a goggle-eye. sent4: the tail is not unacceptable. sent5: there exists something such that it is not a Tyler. sent6: if there exists something such that that it is not a relative and it is a goggle-eye is not correct that the tail is a kind of a relative is not incorrect. sent7: something is a relative. sent8: if the fact that the pennyroyal is not a kind of a number and it does not lace dromedary is not right then the tail is not a number. sent9: if the sainfoin does lace dromedary then the aminopyrine is a Tyler. sent10: the tail is a number that is not unacceptable if there exists something such that it is not a relative. sent11: if the tail is a number but not unacceptable then the sainfoin is a goggle-eye. sent12: the sainfoin is a kind of a goggle-eye if the tail is both a number and unacceptable. sent13: the tail is not unacceptable if the fact that something is not a relative is not false. sent14: there is something such that it is non-relative. sent15: the aminopyrine is a relative. sent16: if the radon is unacceptable the fact that the sainfoin is not a kind of a relative but it is a goggle-eye does not hold. sent17: the fact that the altazimuth is excitable thing that does not reckon gowned does not hold if something does not reckon habergeon. sent18: if the fact that the altazimuth is not unexcitable and it does not reckon gowned is false then the radon is unacceptable.
sent14 & sent10 -> int1: the tail is a kind of a number that is not unacceptable.; int1 & sent11 -> int2: the sainfoin is a goggle-eye.; sent3 -> int3: if the sainfoin is a goggle-eye then it does lace dromedary.; int2 & int3 -> int4: the sainfoin laces dromedary.; int4 & sent9 -> hypothesis;
the aminopyrine is not a Tyler.
sent1 -> int5: something does not reckon habergeon.; int5 & sent17 -> int6: that the altazimuth is not unexcitable and it does not reckon gowned does not hold.; sent18 & int6 -> int7: the radon is unacceptable.; sent16 & int7 -> int8: the fact that the sainfoin is non-relative thing that is a goggle-eye is incorrect.; int8 -> int9: there exists something such that the fact that it is not a relative and it is a goggle-eye is not correct.; int9 & sent6 -> int10: the tail is relative.;
$hypothesis$ = the aminopyrine is a kind of a Tyler. ; $context$ = sent1: the speller does not reckon habergeon. sent2: the aminopyrine is not a Tyler if the tail is a kind of a relative but it is not a kind of a number. sent3: the fact that something laces dromedary is not false if it is a goggle-eye. sent4: the tail is not unacceptable. sent5: there exists something such that it is not a Tyler. sent6: if there exists something such that that it is not a relative and it is a goggle-eye is not correct that the tail is a kind of a relative is not incorrect. sent7: something is a relative. sent8: if the fact that the pennyroyal is not a kind of a number and it does not lace dromedary is not right then the tail is not a number. sent9: if the sainfoin does lace dromedary then the aminopyrine is a Tyler. sent10: the tail is a number that is not unacceptable if there exists something such that it is not a relative. sent11: if the tail is a number but not unacceptable then the sainfoin is a goggle-eye. sent12: the sainfoin is a kind of a goggle-eye if the tail is both a number and unacceptable. sent13: the tail is not unacceptable if the fact that something is not a relative is not false. sent14: there is something such that it is non-relative. sent15: the aminopyrine is a relative. sent16: if the radon is unacceptable the fact that the sainfoin is not a kind of a relative but it is a goggle-eye does not hold. sent17: the fact that the altazimuth is excitable thing that does not reckon gowned does not hold if something does not reckon habergeon. sent18: if the fact that the altazimuth is not unexcitable and it does not reckon gowned is false then the radon is unacceptable. ; $proof$ = 
sent14 & sent10 -> int1: the tail is a kind of a number that is not unacceptable.; int1 & sent11 -> int2: the sainfoin is a goggle-eye.; sent3 -> int3: if the sainfoin is a goggle-eye then it does lace dromedary.; int2 & int3 -> int4: the sainfoin laces dromedary.; int4 & sent9 -> hypothesis; __PROVED__