the fact that there exists something such that if it is not a temperament then it does not treat mephobarbital and it is New is not true.
sent1: something does not treat mephobarbital and is New if it is not a temperament. sent2: the fact that something is New is right if it is not a temperament. sent3: if that the mephobarbital is not a temperament is not false then it does treat mephobarbital and it is New.
sent1 -> int1: the fact that the mephobarbital does not treat mephobarbital but it is New is true if it is not a kind of a temperament.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a temperament then it does not treat mephobarbital and it is New is not true. ; $context$ = sent1: something does not treat mephobarbital and is New if it is not a temperament. sent2: the fact that something is New is right if it is not a temperament. sent3: if that the mephobarbital is not a temperament is not false then it does treat mephobarbital and it is New. ; $proof$ = 
sent1 -> int1: the fact that the mephobarbital does not treat mephobarbital but it is New is true if it is not a kind of a temperament.; int1 -> hypothesis; __DISPROVED__