the fact that there exists something such that if it does erase taco and does not erase carelessness it does edge Morrison is false.
sent1: something that does erase sally and does not levitate is precordial. sent2: if the tetroxide does erase carelessness and it is a pestle then it is a extirpation. sent3: the ride edges Morrison if it does erase taco and it does not erase carelessness. sent4: there exists something such that if that it erases minstrelsy and is a Eddington is true then it couples. sent5: if the ride is precordial and is a Germany it does edge Morrison. sent6: there exists something such that if it does erase taco and erases carelessness then it does edge Morrison. sent7: if the ride erases taco and it does erase carelessness it edges Morrison. sent8: the fact that the ride does not blackmail putoff is wrong if it is a roulade that does not erase taco.
sent3 -> hypothesis;
there exists something such that if it does erase sally and does not levitate the fact that it is precordial is not false.
sent1 -> int1: the emergency is not non-precordial if it erases sally and it does not levitate.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does erase taco and does not erase carelessness it does edge Morrison is false. ; $context$ = sent1: something that does erase sally and does not levitate is precordial. sent2: if the tetroxide does erase carelessness and it is a pestle then it is a extirpation. sent3: the ride edges Morrison if it does erase taco and it does not erase carelessness. sent4: there exists something such that if that it erases minstrelsy and is a Eddington is true then it couples. sent5: if the ride is precordial and is a Germany it does edge Morrison. sent6: there exists something such that if it does erase taco and erases carelessness then it does edge Morrison. sent7: if the ride erases taco and it does erase carelessness it edges Morrison. sent8: the fact that the ride does not blackmail putoff is wrong if it is a roulade that does not erase taco. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__