the paramour is not cathodic.
sent1: if something is a kind of a Belize that is not a schizoid it is not non-cathodic. sent2: something is not cathodic if it is a kind of an inducement. sent3: if the paramour is a kind of a schizoid then the carinate is a hogchoker. sent4: if the paramour homesteads Patrick it administers technophile. sent5: the paramour is a schizoid if there is something such that it is an inducement or it is a deportation or both. sent6: something that is a schizoid is a deportation. sent7: the paramour is a dietary or it is an inducement or both. sent8: the carinate does fiddle materiel or it is a kind of a will or both. sent9: the carinate is a schizoid that is a Belize. sent10: if something is febrile then the paramour is a kind of an inducement. sent11: there is something such that it does dirty or it administers Adalia or both. sent12: if there is something such that either it is a deportation or it is febrile or both the paramour is an inducement.
sent9 -> int1: the carinate is a schizoid.; sent6 -> int2: if that the carinate is schizoid is not false it is a kind of a deportation.; int1 & int2 -> int3: the carinate is a deportation.; int3 -> int4: that the carinate is a deportation or it is febrile or both is not incorrect.; int4 -> int5: something is a deportation or is febrile or both.; int5 & sent12 -> int6: the paramour is an inducement.; sent2 -> int7: the paramour is not cathodic if it is an inducement.; int6 & int7 -> hypothesis;
the carinate is a hogchoker.
$hypothesis$ = the paramour is not cathodic. ; $context$ = sent1: if something is a kind of a Belize that is not a schizoid it is not non-cathodic. sent2: something is not cathodic if it is a kind of an inducement. sent3: if the paramour is a kind of a schizoid then the carinate is a hogchoker. sent4: if the paramour homesteads Patrick it administers technophile. sent5: the paramour is a schizoid if there is something such that it is an inducement or it is a deportation or both. sent6: something that is a schizoid is a deportation. sent7: the paramour is a dietary or it is an inducement or both. sent8: the carinate does fiddle materiel or it is a kind of a will or both. sent9: the carinate is a schizoid that is a Belize. sent10: if something is febrile then the paramour is a kind of an inducement. sent11: there is something such that it does dirty or it administers Adalia or both. sent12: if there is something such that either it is a deportation or it is febrile or both the paramour is an inducement. ; $proof$ = 
sent9 -> int1: the carinate is a schizoid.; sent6 -> int2: if that the carinate is schizoid is not false it is a kind of a deportation.; int1 & int2 -> int3: the carinate is a deportation.; int3 -> int4: that the carinate is a deportation or it is febrile or both is not incorrect.; int4 -> int5: something is a deportation or is febrile or both.; int5 & sent12 -> int6: the paramour is an inducement.; sent2 -> int7: the paramour is not cathodic if it is an inducement.; int6 & int7 -> hypothesis; __PROVED__