that the bunting is not energetic but it is a kind of an escort does not hold.
sent1: the papist is not Arabic if the fact that it is not a lapidary hold. sent2: if something does not insure then the fact that it is concise thing that is sick is incorrect. sent3: if there exists something such that it deflates requisiteness or is not aposiopetic or both the bunting is not opposable. sent4: something does spiral guardhouse or it does hook Charadrii or both. sent5: that something is both energetic and an escort is not true if it is not aposiopetic. sent6: the fact that the iron is a nightcap and is energetic is not right. sent7: the bunting is not disreputable if there exists something such that it does not hook Charadrii. sent8: the bunting is not abnormal. sent9: the bunting does not slag bond if that something is either a neoclassicist or not a souring or both hold. sent10: the bunting is not a kind of an ensemble. sent11: if something spirals guardhouse and/or it does not hook Charadrii then the bunting is not disreputable. sent12: if the fact that the bunting is not an escort is true it is not a kind of a Mancunian. sent13: if something is not disreputable then it is not aposiopetic. sent14: the fact that the bunting does not slag interviewee but it is a lotto is incorrect. sent15: there is something such that it does spiral guardhouse or it does not hook Charadrii or both. sent16: something is Democratic and/or does not spiral afterburner.
sent15 & sent11 -> int1: the bunting is not disreputable.; sent13 -> int2: if the bunting is not disreputable it is non-aposiopetic.; int1 & int2 -> int3: the bunting is not aposiopetic.;
$hypothesis$ = that the bunting is not energetic but it is a kind of an escort does not hold. ; $context$ = sent1: the papist is not Arabic if the fact that it is not a lapidary hold. sent2: if something does not insure then the fact that it is concise thing that is sick is incorrect. sent3: if there exists something such that it deflates requisiteness or is not aposiopetic or both the bunting is not opposable. sent4: something does spiral guardhouse or it does hook Charadrii or both. sent5: that something is both energetic and an escort is not true if it is not aposiopetic. sent6: the fact that the iron is a nightcap and is energetic is not right. sent7: the bunting is not disreputable if there exists something such that it does not hook Charadrii. sent8: the bunting is not abnormal. sent9: the bunting does not slag bond if that something is either a neoclassicist or not a souring or both hold. sent10: the bunting is not a kind of an ensemble. sent11: if something spirals guardhouse and/or it does not hook Charadrii then the bunting is not disreputable. sent12: if the fact that the bunting is not an escort is true it is not a kind of a Mancunian. sent13: if something is not disreputable then it is not aposiopetic. sent14: the fact that the bunting does not slag interviewee but it is a lotto is incorrect. sent15: there is something such that it does spiral guardhouse or it does not hook Charadrii or both. sent16: something is Democratic and/or does not spiral afterburner. ; $proof$ = 
sent15 & sent11 -> int1: the bunting is not disreputable.; sent13 -> int2: if the bunting is not disreputable it is non-aposiopetic.; int1 & int2 -> int3: the bunting is not aposiopetic.; __UNKNOWN__