something is inquisitorial and is middle-class.
sent1: something is inquisitorial. sent2: the nightingale is not inoffensive. sent3: the heathen is both a khesari and middle-class. sent4: the nightingale is inquisitorial if the heathen is not inoffensive. sent5: there exists something such that it is middle-class. sent6: the heathen is not a lymphoblast if it is Pavlovian and it cases goosefish. sent7: the heathen is Pavlovian thing that does case goosefish. sent8: if the fact that something is not non-Soviet but non-buccal is not right then it is not a stain. sent9: the heathen is syllogistic thing that outweighs. sent10: something is a checked and inoffensive if it is not inquisitorial. sent11: if the heathen is not a lymphoblast then the fact that the osteologist is Soviet but it is not buccal does not hold. sent12: the heathen is inquisitorial if the nightingale is not inoffensive. sent13: if that something is a khesari and/or it is not middle-class is not true then it turfs amperage. sent14: if something does not stain that either it is a khesari or it is not middle-class or both is not right. sent15: the heathen is a khesari. sent16: the osteologist is a tinamou if the nightingale is inoffensive.
sent12 & sent2 -> int1: the heathen is inquisitorial.; sent3 -> int2: the heathen is middle-class.; int1 & int2 -> int3: the heathen is inquisitorial and it is middle-class.; int3 -> hypothesis;
the heathen is a prescience and it is a checked.
sent10 -> int4: the fact that the heathen checks and it is inoffensive if the heathen is not inquisitorial is right.;
$hypothesis$ = something is inquisitorial and is middle-class. ; $context$ = sent1: something is inquisitorial. sent2: the nightingale is not inoffensive. sent3: the heathen is both a khesari and middle-class. sent4: the nightingale is inquisitorial if the heathen is not inoffensive. sent5: there exists something such that it is middle-class. sent6: the heathen is not a lymphoblast if it is Pavlovian and it cases goosefish. sent7: the heathen is Pavlovian thing that does case goosefish. sent8: if the fact that something is not non-Soviet but non-buccal is not right then it is not a stain. sent9: the heathen is syllogistic thing that outweighs. sent10: something is a checked and inoffensive if it is not inquisitorial. sent11: if the heathen is not a lymphoblast then the fact that the osteologist is Soviet but it is not buccal does not hold. sent12: the heathen is inquisitorial if the nightingale is not inoffensive. sent13: if that something is a khesari and/or it is not middle-class is not true then it turfs amperage. sent14: if something does not stain that either it is a khesari or it is not middle-class or both is not right. sent15: the heathen is a khesari. sent16: the osteologist is a tinamou if the nightingale is inoffensive. ; $proof$ = 
sent12 & sent2 -> int1: the heathen is inquisitorial.; sent3 -> int2: the heathen is middle-class.; int1 & int2 -> int3: the heathen is inquisitorial and it is middle-class.; int3 -> hypothesis; __PROVED__