the trogon is a mnemonics.
sent1: the khadi does suffer Jaffar and/or it is mnemonics. sent2: everything is a kind of a hame or it does suffer Jaffar or both. sent3: if something is a hame or it suffers Jaffar or both then the trogon is non-mnemonics. sent4: something is a kind of a mnemonics if it is a hame. sent5: the trogon is not a kind of a mnemonics if there are Aeschylean things. sent6: the trogon is not mnemonics if there exists something such that it does suffer Jaffar.
sent2 -> int1: the khadi is a kind of a hame and/or it suffers Jaffar.; int1 -> int2: either something is a hame or it does suffer Jaffar or both.; int2 & sent3 -> hypothesis;
the trogon is a mnemonics.
sent4 -> int3: if the trogon is a kind of a hame then it is not non-mnemonics.;
$hypothesis$ = the trogon is a mnemonics. ; $context$ = sent1: the khadi does suffer Jaffar and/or it is mnemonics. sent2: everything is a kind of a hame or it does suffer Jaffar or both. sent3: if something is a hame or it suffers Jaffar or both then the trogon is non-mnemonics. sent4: something is a kind of a mnemonics if it is a hame. sent5: the trogon is not a kind of a mnemonics if there are Aeschylean things. sent6: the trogon is not mnemonics if there exists something such that it does suffer Jaffar. ; $proof$ = 
sent2 -> int1: the khadi is a kind of a hame and/or it suffers Jaffar.; int1 -> int2: either something is a hame or it does suffer Jaffar or both.; int2 & sent3 -> hypothesis; __DISPROVED__