the aileron is a milline.
sent1: the aileron accredits litterbin. sent2: the milkwort does accredit litterbin if there exists something such that it is Latin and a milline. sent3: The litterbin accredits milkwort. sent4: the aileron does accredit litterbin if there is something such that it is a milline that is a Latin. sent5: something is a kind of a Latin. sent6: the milkwort is a milline if something that accredits litterbin is a kind of a Latin. sent7: something accredits litterbin and is a milline. sent8: the milkwort accredits litterbin. sent9: the rip accredits litterbin. sent10: there is something such that that it does accredit litterbin hold. sent11: the fact that the aileron is a kind of a milline is not wrong if there exists something such that it is a Latin that does accredit litterbin. sent12: if something that does not accredit litterbin is not a kind of a milline then it is Latin. sent13: the thiamine accredits litterbin. sent14: the milkwort is a kind of a Adriatic. sent15: the milkwort is a crazy. sent16: the milkwort is a kind of a Latin. sent17: the fact that there exists something such that it summates and it accredits brittle-star hold.
sent16 & sent8 -> int1: the milkwort is a kind of a Latin and it does accredit litterbin.; int1 -> int2: something is Latin and it does accredit litterbin.; int2 & sent11 -> hypothesis;
the afterburner is a Latin.
sent12 -> int3: the afterburner is a kind of a Latin if it does not accredit litterbin and is not a kind of a milline.;
$hypothesis$ = the aileron is a milline. ; $context$ = sent1: the aileron accredits litterbin. sent2: the milkwort does accredit litterbin if there exists something such that it is Latin and a milline. sent3: The litterbin accredits milkwort. sent4: the aileron does accredit litterbin if there is something such that it is a milline that is a Latin. sent5: something is a kind of a Latin. sent6: the milkwort is a milline if something that accredits litterbin is a kind of a Latin. sent7: something accredits litterbin and is a milline. sent8: the milkwort accredits litterbin. sent9: the rip accredits litterbin. sent10: there is something such that that it does accredit litterbin hold. sent11: the fact that the aileron is a kind of a milline is not wrong if there exists something such that it is a Latin that does accredit litterbin. sent12: if something that does not accredit litterbin is not a kind of a milline then it is Latin. sent13: the thiamine accredits litterbin. sent14: the milkwort is a kind of a Adriatic. sent15: the milkwort is a crazy. sent16: the milkwort is a kind of a Latin. sent17: the fact that there exists something such that it summates and it accredits brittle-star hold. ; $proof$ = 
sent16 & sent8 -> int1: the milkwort is a kind of a Latin and it does accredit litterbin.; int1 -> int2: something is Latin and it does accredit litterbin.; int2 & sent11 -> hypothesis; __PROVED__