that there exists something such that if it is a moon then it does not plead and is not a bench is false.
sent1: if something does flesh Typha then it is a kind of non-grubby thing that is not anticlinal. sent2: something does not plead and it is not a kind of a bench if that it is a moon is not false.
sent2 -> int1: if the fact that the Mormons does moon is right it does not plead and it is not a bench.; int1 -> hypothesis;
there is something such that if it does flesh Typha then it is not a grubby and it is non-anticlinal.
sent1 -> int2: if the eyeful fleshes Typha then it is not a grubby and it is not anticlinal.; int2 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a moon then it does not plead and is not a bench is false. ; $context$ = sent1: if something does flesh Typha then it is a kind of non-grubby thing that is not anticlinal. sent2: something does not plead and it is not a kind of a bench if that it is a moon is not false. ; $proof$ = 
sent2 -> int1: if the fact that the Mormons does moon is right it does not plead and it is not a bench.; int1 -> hypothesis; __DISPROVED__