the anionic is not a kind of a handshake.
sent1: the cathedral is a handshake. sent2: if there exists something such that it does not adhere then the anionic does effect sty. sent3: the anionic effects passive and is not non-formulary if there exists something such that it is not a gripe. sent4: something that does effect passive is a handshake. sent5: the anionic is a gripe. sent6: something is a kind of a formulary if it is not non-rhinal. sent7: there is something such that it is not a gripe. sent8: something is unnecessary if that it is a relations is not incorrect.
sent7 & sent3 -> int1: the anionic effects passive and it is formulary.; int1 -> int2: the anionic effects passive.; sent4 -> int3: if the anionic does effect passive the fact that it is a handshake is not incorrect.; int2 & int3 -> hypothesis;
the fact that if the executant is rhinal then the executant is a kind of a formulary is true.
sent6 -> hypothesis;
$hypothesis$ = the anionic is not a kind of a handshake. ; $context$ = sent1: the cathedral is a handshake. sent2: if there exists something such that it does not adhere then the anionic does effect sty. sent3: the anionic effects passive and is not non-formulary if there exists something such that it is not a gripe. sent4: something that does effect passive is a handshake. sent5: the anionic is a gripe. sent6: something is a kind of a formulary if it is not non-rhinal. sent7: there is something such that it is not a gripe. sent8: something is unnecessary if that it is a relations is not incorrect. ; $proof$ = 
sent7 & sent3 -> int1: the anionic effects passive and it is formulary.; int1 -> int2: the anionic effects passive.; sent4 -> int3: if the anionic does effect passive the fact that it is a handshake is not incorrect.; int2 & int3 -> hypothesis; __DISPROVED__