that there exists something such that if it is not a criminal it is not an mph does not hold.
sent1: there exists something such that if it is not a kind of a criminal it is an mph. sent2: if something is not a criminal it is not an mph. sent3: there exists something such that if it is a kind of a criminal it is not an mph. sent4: there is something such that if it is not scenic then it is not healthful. sent5: if the bullshot is a criminal then it is not a kind of an mph. sent6: something that is not anhydrous is not a criminal.
sent2 -> int1: if the bullshot is not a criminal it is not a kind of an mph.; int1 -> hypothesis;
the bullshot is not a criminal if it is not anhydrous.
sent6 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a criminal it is not an mph does not hold. ; $context$ = sent1: there exists something such that if it is not a kind of a criminal it is an mph. sent2: if something is not a criminal it is not an mph. sent3: there exists something such that if it is a kind of a criminal it is not an mph. sent4: there is something such that if it is not scenic then it is not healthful. sent5: if the bullshot is a criminal then it is not a kind of an mph. sent6: something that is not anhydrous is not a criminal. ; $proof$ = 
sent2 -> int1: if the bullshot is not a criminal it is not a kind of an mph.; int1 -> hypothesis; __DISPROVED__