that the perigon is nonextensile is not false.
sent1: the jacklight empties betel if the metic is a kind of a laughing. sent2: the protractor is anoperineal. sent3: the protractor is anoperineal if something is Pharaonic. sent4: something is not Pharaonic if it does not consolidate argentine. sent5: if the metic empties betel and it is a laughing the respirator is not a kind of a sloganeering. sent6: everything is not a kind of a confiscation. sent7: if the fact that something is a Levantine hold then it is nonextensile. sent8: the perigon is a Levantine if the jacklight does empty betel. sent9: if the respirator does not sloganeer then that the betel is both a pedaler and anoperineal is not true. sent10: that something does not consolidate argentine and does sniff jacklight is not wrong if it is a pedaler. sent11: something empties betel and it is a laughing if the fact that it is not a Levantine is not wrong. sent12: if something is not a confiscation then that it is a kind of a Levantine and it is tannic is not true. sent13: the betel is a kind of a pedaler if the protractor does consolidate argentine. sent14: if the jodhpurs is a laughing then it is a pedaler. sent15: there exists something such that it is Pharaonic. sent16: the protractor consolidates argentine and it is anoperineal if there exists something such that it is Pharaonic. sent17: the jodhpurs does laugh. sent18: the metic is a laughing if the respirator is a sloganeering.
sent15 & sent16 -> int1: the protractor does consolidate argentine and it is anoperineal.; int1 -> int2: the protractor does consolidate argentine.; int2 & sent13 -> int3: the betel is a kind of a pedaler.; sent7 -> int4: if the perigon is a Levantine then it is nonextensile.;
the jodhpurs sniffs jacklight and is a kind of an endocrinologist.
sent10 -> int5: if the jodhpurs is a pedaler then it does not consolidate argentine and does sniff jacklight.; sent14 & sent17 -> int6: the jodhpurs is a pedaler.; int5 & int6 -> int7: the jodhpurs does not consolidate argentine but it sniffs jacklight.; int7 -> int8: the jodhpurs sniffs jacklight.;
$hypothesis$ = that the perigon is nonextensile is not false. ; $context$ = sent1: the jacklight empties betel if the metic is a kind of a laughing. sent2: the protractor is anoperineal. sent3: the protractor is anoperineal if something is Pharaonic. sent4: something is not Pharaonic if it does not consolidate argentine. sent5: if the metic empties betel and it is a laughing the respirator is not a kind of a sloganeering. sent6: everything is not a kind of a confiscation. sent7: if the fact that something is a Levantine hold then it is nonextensile. sent8: the perigon is a Levantine if the jacklight does empty betel. sent9: if the respirator does not sloganeer then that the betel is both a pedaler and anoperineal is not true. sent10: that something does not consolidate argentine and does sniff jacklight is not wrong if it is a pedaler. sent11: something empties betel and it is a laughing if the fact that it is not a Levantine is not wrong. sent12: if something is not a confiscation then that it is a kind of a Levantine and it is tannic is not true. sent13: the betel is a kind of a pedaler if the protractor does consolidate argentine. sent14: if the jodhpurs is a laughing then it is a pedaler. sent15: there exists something such that it is Pharaonic. sent16: the protractor consolidates argentine and it is anoperineal if there exists something such that it is Pharaonic. sent17: the jodhpurs does laugh. sent18: the metic is a laughing if the respirator is a sloganeering. ; $proof$ = 
sent15 & sent16 -> int1: the protractor does consolidate argentine and it is anoperineal.; int1 -> int2: the protractor does consolidate argentine.; int2 & sent13 -> int3: the betel is a kind of a pedaler.; sent7 -> int4: if the perigon is a Levantine then it is nonextensile.; __UNKNOWN__