that there exists something such that if it is a kind of a Adams the fact that it is not a backhoe and is noncellular is wrong is not correct.
sent1: if something is not non-labial that it is not a Junior and is suburban is false. sent2: that the coaster is not a kind of a backhoe but it is noncellular is not correct if that it is a Adams is not incorrect.
sent2 -> hypothesis;
there exists something such that if it is a kind of a labial that it is not a Junior but suburban does not hold.
sent1 -> int1: if the nightcap is a kind of a labial then the fact that it is both not a Junior and suburban is not true.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a kind of a Adams the fact that it is not a backhoe and is noncellular is wrong is not correct. ; $context$ = sent1: if something is not non-labial that it is not a Junior and is suburban is false. sent2: that the coaster is not a kind of a backhoe but it is noncellular is not correct if that it is a Adams is not incorrect. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__