the precursor is a imperishability.
sent1: the precursor is a kind of a imperishability if it is both a ogler and not disorderly. sent2: if the office-bearer is not a kind of a boll the precursor is not an angling. sent3: if something is not a ogler and it is not disorderly then it is a imperishability. sent4: the Lysol is not a boll. sent5: the office-bearer is efficient. sent6: something that is a Danish is not disorderly. sent7: if there are inefficient things then the precursor is not a kind of a ogler. sent8: if something that is a ogler is orderly then it is a imperishability. sent9: the precursor is not a ogler and is not disorderly if there exists something such that it is not efficient. sent10: if something is anastomotic then it is not non-Danish. sent11: the precursor is anastomotic if it is not a kind of a hindshank and is not an angling. sent12: the precursor is not a kind of a ogler. sent13: if there is something such that it is not a kind of a boll the office-bearer is not a boll or it is not a combustibility or both. sent14: something is not a imperishability if the fact that it is efficient and is not a ogler is not correct. sent15: there is something such that it is not inefficient. sent16: the precursor is not a hindshank and it is not a sulindac. sent17: there is something such that it is not a combustibility.
sent3 -> int1: the precursor is a imperishability if the fact that it is not a kind of a ogler and it is not disorderly is true.;
there are non-pectineal things.
$hypothesis$ = the precursor is a imperishability. ; $context$ = sent1: the precursor is a kind of a imperishability if it is both a ogler and not disorderly. sent2: if the office-bearer is not a kind of a boll the precursor is not an angling. sent3: if something is not a ogler and it is not disorderly then it is a imperishability. sent4: the Lysol is not a boll. sent5: the office-bearer is efficient. sent6: something that is a Danish is not disorderly. sent7: if there are inefficient things then the precursor is not a kind of a ogler. sent8: if something that is a ogler is orderly then it is a imperishability. sent9: the precursor is not a ogler and is not disorderly if there exists something such that it is not efficient. sent10: if something is anastomotic then it is not non-Danish. sent11: the precursor is anastomotic if it is not a kind of a hindshank and is not an angling. sent12: the precursor is not a kind of a ogler. sent13: if there is something such that it is not a kind of a boll the office-bearer is not a boll or it is not a combustibility or both. sent14: something is not a imperishability if the fact that it is efficient and is not a ogler is not correct. sent15: there is something such that it is not inefficient. sent16: the precursor is not a hindshank and it is not a sulindac. sent17: there is something such that it is not a combustibility. ; $proof$ = 
sent3 -> int1: the precursor is a imperishability if the fact that it is not a kind of a ogler and it is not disorderly is true.; __UNKNOWN__