that there exists something such that if it is eutherian then it does not pity Matterhorn and it is oceanic is not true.
sent1: there exists something such that if it is informational it is a figurehead and it is a kind of a Friedan. sent2: there exists something such that if it does pity narcoterrorism that it is a wise and is apsidal hold. sent3: there is something such that if it is gerundial it is a kind of non-indicative thing that swaps minniebush. sent4: if something is a kind of a Friedan then it does not pity imposter and is oceanic. sent5: the driveshaft does not pity Matterhorn and is oceanic if it is eutherian. sent6: there exists something such that if it swaps Bucephala then it is a kind of a numerologist and it does pity picnic. sent7: there exists something such that if it is eutherian it does pity Matterhorn and is oceanic. sent8: if the driveshaft is eutherian then it is oceanic.
sent5 -> hypothesis;
the crying does not pity imposter but it is oceanic if it is a Friedan.
sent4 -> hypothesis;
$hypothesis$ = that there exists something such that if it is eutherian then it does not pity Matterhorn and it is oceanic is not true. ; $context$ = sent1: there exists something such that if it is informational it is a figurehead and it is a kind of a Friedan. sent2: there exists something such that if it does pity narcoterrorism that it is a wise and is apsidal hold. sent3: there is something such that if it is gerundial it is a kind of non-indicative thing that swaps minniebush. sent4: if something is a kind of a Friedan then it does not pity imposter and is oceanic. sent5: the driveshaft does not pity Matterhorn and is oceanic if it is eutherian. sent6: there exists something such that if it swaps Bucephala then it is a kind of a numerologist and it does pity picnic. sent7: there exists something such that if it is eutherian it does pity Matterhorn and is oceanic. sent8: if the driveshaft is eutherian then it is oceanic. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__