if the locator is entozoic then the harridan is a Trojan.
sent1: if the locator is coronary then the Skinner is entozoic. sent2: the Skinner is not a kind of a coronary. sent3: if a Trojan is neurotic then it does not rear tailorbird. sent4: the locator is a kind of a Trojan that is a neurotic if the fact that the Skinner is not a kind of a Theban is right. sent5: the locator is Trojan. sent6: the harridan is Trojan if the Skinner is non-coronary thing that does not rear tailorbird. sent7: if there is something such that that it is entozoic is correct then the Skinner is not a coronary and does not rear tailorbird. sent8: the gigolo is a kind of a coronary.
void -> assump1: Let's assume that the locator is entozoic.; assump1 -> int1: there exists something such that it is not non-entozoic.; int1 & sent7 -> int2: the Skinner is non-coronary and does not rear tailorbird.; sent6 & int2 -> int3: the harridan is a Trojan.; [assump1] & int3 -> hypothesis;
the locator is a kind of a coronary.
sent3 -> int4: if the locator is a Trojan and it is neurotic then it does not rear tailorbird.;
$hypothesis$ = if the locator is entozoic then the harridan is a Trojan. ; $context$ = sent1: if the locator is coronary then the Skinner is entozoic. sent2: the Skinner is not a kind of a coronary. sent3: if a Trojan is neurotic then it does not rear tailorbird. sent4: the locator is a kind of a Trojan that is a neurotic if the fact that the Skinner is not a kind of a Theban is right. sent5: the locator is Trojan. sent6: the harridan is Trojan if the Skinner is non-coronary thing that does not rear tailorbird. sent7: if there is something such that that it is entozoic is correct then the Skinner is not a coronary and does not rear tailorbird. sent8: the gigolo is a kind of a coronary. ; $proof$ = 
void -> assump1: Let's assume that the locator is entozoic.; assump1 -> int1: there exists something such that it is not non-entozoic.; int1 & sent7 -> int2: the Skinner is non-coronary and does not rear tailorbird.; sent6 & int2 -> int3: the harridan is a Trojan.; [assump1] & int3 -> hypothesis; __PROVED__