the krypton does not expostulate.
sent1: the krypton is not a submenu. sent2: the krypton expostulates if the cellphone is a cockney. sent3: the cellphone is a Vishnu if there exists something such that that it is not a Vishnu and not northern is not true. sent4: that the krypton is not a Vishnu and it is not northern does not hold if it is not a submenu. sent5: the krypton is a cockney. sent6: if the krypton is a cockney the cellphone does expostulate. sent7: the cellphone is architectural thing that is a cockney.
sent7 -> int1: the cellphone is cockney.; sent2 & int1 -> hypothesis;
the cellphone is a kind of a Vishnu that is a cathartid.
sent4 & sent1 -> int2: that the krypton is not a Vishnu and is not northern is not right.; int2 -> int3: there is something such that that it is not a Vishnu and it is not northern is not true.; int3 & sent3 -> int4: the fact that the cellphone is a kind of a Vishnu hold.;
$hypothesis$ = the krypton does not expostulate. ; $context$ = sent1: the krypton is not a submenu. sent2: the krypton expostulates if the cellphone is a cockney. sent3: the cellphone is a Vishnu if there exists something such that that it is not a Vishnu and not northern is not true. sent4: that the krypton is not a Vishnu and it is not northern does not hold if it is not a submenu. sent5: the krypton is a cockney. sent6: if the krypton is a cockney the cellphone does expostulate. sent7: the cellphone is architectural thing that is a cockney. ; $proof$ = 
sent7 -> int1: the cellphone is cockney.; sent2 & int1 -> hypothesis; __DISPROVED__