the chaplain is not a psychiatrist.
sent1: the autodidact is an allies. sent2: if the XYY is a psychiatrist the chaplain is a psychiatrist. sent3: the chaplain does not nod contradistinction. sent4: if the chaplain does not cancel terseness and it is not a kind of a triviality it is a correspondent. sent5: a non-cosmic thing is a correspondent and a psychiatrist. sent6: the chaplain does not cancel terseness and it is not a triviality. sent7: the shoelace does not crook shoelace and is not a kind of a psychiatrist. sent8: if there exists something such that it does not crook autodidact the Cypriot is not a kind of a pharmacy and is not a legislation. sent9: the fact that the chaplain does not cancel terseness hold. sent10: the header does not crook autodidact if there exists something such that it does ally. sent11: something is not a psychiatrist if it is a correspondent.
sent4 & sent6 -> int1: the chaplain is a kind of a correspondent.; sent11 -> int2: the chaplain is not a psychiatrist if it is a correspondent.; int1 & int2 -> hypothesis;
the chaplain is a kind of a psychiatrist.
sent5 -> int3: the XYY is a correspondent and it is a psychiatrist if it is not cosmic.; sent1 -> int4: something is an allies.; int4 & sent10 -> int5: the header does not crook autodidact.; int5 -> int6: there exists something such that it does not crook autodidact.; int6 & sent8 -> int7: the Cypriot is not a pharmacy and it is not a kind of a legislation.; int7 -> int8: there is something such that it is not a pharmacy and not a legislation.;
$hypothesis$ = the chaplain is not a psychiatrist. ; $context$ = sent1: the autodidact is an allies. sent2: if the XYY is a psychiatrist the chaplain is a psychiatrist. sent3: the chaplain does not nod contradistinction. sent4: if the chaplain does not cancel terseness and it is not a kind of a triviality it is a correspondent. sent5: a non-cosmic thing is a correspondent and a psychiatrist. sent6: the chaplain does not cancel terseness and it is not a triviality. sent7: the shoelace does not crook shoelace and is not a kind of a psychiatrist. sent8: if there exists something such that it does not crook autodidact the Cypriot is not a kind of a pharmacy and is not a legislation. sent9: the fact that the chaplain does not cancel terseness hold. sent10: the header does not crook autodidact if there exists something such that it does ally. sent11: something is not a psychiatrist if it is a correspondent. ; $proof$ = 
sent4 & sent6 -> int1: the chaplain is a kind of a correspondent.; sent11 -> int2: the chaplain is not a psychiatrist if it is a correspondent.; int1 & int2 -> hypothesis; __PROVED__