that the megaloblast is not atherosclerotic and it does not criticize spitz is not true.
sent1: the megaloblast does not criticize spitz if it is both not grateful and a throw-in. sent2: the megaloblast is not ungrateful. sent3: the spitz does heap Darwinism. sent4: the streak is not ungrateful. sent5: everything is a kind of non-ungrateful a throw-in. sent6: the spitz is a throw-in. sent7: the megaloblast is not atherosclerotic if the spitz pits Limacidae. sent8: if the spitz heaps Darwinism then it does pit Limacidae. sent9: the fact that the megaloblast is not a kind of a narrowed and it does not lob Cross is true. sent10: the megaloblast does not heap Darwinism. sent11: everything is not a Bighorn and is a Alligatoridae. sent12: if something is both not ungrateful and a throw-in it does not criticize spitz. sent13: something does not criticize spitz if it is ungrateful and is a throw-in. sent14: everything is not ungrateful. sent15: The Darwinism does heap spitz.
sent8 & sent3 -> int1: the spitz does pit Limacidae.; int1 & sent7 -> int2: the megaloblast is not atherosclerotic.; sent12 -> int3: if the megaloblast is not ungrateful but it is a throw-in then it does not criticize spitz.; sent5 -> int4: the megaloblast is not ungrateful but it is a throw-in.; int3 & int4 -> int5: the megaloblast does not criticize spitz.; int2 & int5 -> hypothesis;
the fact that the fact that the megaloblast is not atherosclerotic and it does not criticize spitz is wrong is right.
sent4 -> int6: there exists something such that that it is not ungrateful is correct.;
$hypothesis$ = that the megaloblast is not atherosclerotic and it does not criticize spitz is not true. ; $context$ = sent1: the megaloblast does not criticize spitz if it is both not grateful and a throw-in. sent2: the megaloblast is not ungrateful. sent3: the spitz does heap Darwinism. sent4: the streak is not ungrateful. sent5: everything is a kind of non-ungrateful a throw-in. sent6: the spitz is a throw-in. sent7: the megaloblast is not atherosclerotic if the spitz pits Limacidae. sent8: if the spitz heaps Darwinism then it does pit Limacidae. sent9: the fact that the megaloblast is not a kind of a narrowed and it does not lob Cross is true. sent10: the megaloblast does not heap Darwinism. sent11: everything is not a Bighorn and is a Alligatoridae. sent12: if something is both not ungrateful and a throw-in it does not criticize spitz. sent13: something does not criticize spitz if it is ungrateful and is a throw-in. sent14: everything is not ungrateful. sent15: The Darwinism does heap spitz. ; $proof$ = 
sent8 & sent3 -> int1: the spitz does pit Limacidae.; int1 & sent7 -> int2: the megaloblast is not atherosclerotic.; sent12 -> int3: if the megaloblast is not ungrateful but it is a throw-in then it does not criticize spitz.; sent5 -> int4: the megaloblast is not ungrateful but it is a throw-in.; int3 & int4 -> int5: the megaloblast does not criticize spitz.; int2 & int5 -> hypothesis; __DISPROVED__