something is a automysophobia and it does staple septum.
sent1: the fact that the Wiccan is a automysophobia is not false if there exists something such that that it is not a automysophobia and is not a kind of a freak is incorrect. sent2: everything staples septum. sent3: there is something such that that it is not a automysophobia and not a freak does not hold. sent4: there exists something such that it is not a automysophobia and does not freak.
sent2 -> int1: the Wiccan does staple septum.; sent3 & sent1 -> int2: the Wiccan is a kind of a automysophobia.; int1 & int2 -> int3: the Wiccan is a automysophobia and it staples septum.; int3 -> hypothesis;
$hypothesis$ = something is a automysophobia and it does staple septum. ; $context$ = sent1: the fact that the Wiccan is a automysophobia is not false if there exists something such that that it is not a automysophobia and is not a kind of a freak is incorrect. sent2: everything staples septum. sent3: there is something such that that it is not a automysophobia and not a freak does not hold. sent4: there exists something such that it is not a automysophobia and does not freak. ; $proof$ = 
sent2 -> int1: the Wiccan does staple septum.; sent3 & sent1 -> int2: the Wiccan is a kind of a automysophobia.; int1 & int2 -> int3: the Wiccan is a automysophobia and it staples septum.; int3 -> hypothesis; __PROVED__