the fact that there is something such that it is a reverse is not true.
sent1: the spray is not a hypnotism but non-transoceanic. sent2: the spray is not a kind of an ovoid and it is not federal. sent3: if the father-in-law is not a mountaineer and it is not a kind of a reverse it does deplore leaker. sent4: the projector is a jowl. sent5: if the spray is a hypnotism but not transoceanic then it is reverse. sent6: if the fact that the spray is not a hypnotism and is not transoceanic is not incorrect then it is a kind of a reverse. sent7: the spray is a reverse if it is not a kind of a hypnotism and it is transoceanic.
sent6 & sent1 -> int1: the spray is a reverse.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is a reverse is not true. ; $context$ = sent1: the spray is not a hypnotism but non-transoceanic. sent2: the spray is not a kind of an ovoid and it is not federal. sent3: if the father-in-law is not a mountaineer and it is not a kind of a reverse it does deplore leaker. sent4: the projector is a jowl. sent5: if the spray is a hypnotism but not transoceanic then it is reverse. sent6: if the fact that the spray is not a hypnotism and is not transoceanic is not incorrect then it is a kind of a reverse. sent7: the spray is a reverse if it is not a kind of a hypnotism and it is transoceanic. ; $proof$ = 
sent6 & sent1 -> int1: the spray is a reverse.; int1 -> hypothesis; __DISPROVED__