the fact that there exists something such that if it is not leprous and not a rya it is not a quickie is not right.
sent1: the mariposa is not a quickie if it is not leprous and is a rya. sent2: the mariposa is a kind of a quickie if it is not leprous and it is not a rya. sent3: there exists something such that if it is not leprous and it is not a rya it is a quickie. sent4: something does not japan hummer if it is not a fettuccine and it is not a kind of a NOC. sent5: the mariposa is not a quickie if it is both not leprous and not a rya.
sent5 -> hypothesis;
there exists something such that if it is not a kind of a fettuccine and is not a NOC it does not japan hummer.
sent4 -> int1: the plant does not japan hummer if it is not a kind of a fettuccine and is not a NOC.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not leprous and not a rya it is not a quickie is not right. ; $context$ = sent1: the mariposa is not a quickie if it is not leprous and is a rya. sent2: the mariposa is a kind of a quickie if it is not leprous and it is not a rya. sent3: there exists something such that if it is not leprous and it is not a rya it is a quickie. sent4: something does not japan hummer if it is not a fettuccine and it is not a kind of a NOC. sent5: the mariposa is not a quickie if it is both not leprous and not a rya. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__