the manipulator is not a gape.
sent1: the sandboy does inure. sent2: something that is not a kind of an overestimate is a gape and inures. sent3: if the sandboy is a pycnidium and it overestimates then that the manipulator is not a gape hold. sent4: the manipulator does inure. sent5: the sandboy is Neanderthal and it is a masculine. sent6: the rewa-rewa is a estoppel. sent7: the mushroom is not an overestimate. sent8: the sandboy does inure and it is an overestimate. sent9: the manipulator is a kind of a wallpaperer and it does inure.
sent8 -> int1: the sandboy is an overestimate.;
the manipulator is a gape.
sent2 -> int2: if the manipulator does not overestimate it gapes and it inures.;
$hypothesis$ = the manipulator is not a gape. ; $context$ = sent1: the sandboy does inure. sent2: something that is not a kind of an overestimate is a gape and inures. sent3: if the sandboy is a pycnidium and it overestimates then that the manipulator is not a gape hold. sent4: the manipulator does inure. sent5: the sandboy is Neanderthal and it is a masculine. sent6: the rewa-rewa is a estoppel. sent7: the mushroom is not an overestimate. sent8: the sandboy does inure and it is an overestimate. sent9: the manipulator is a kind of a wallpaperer and it does inure. ; $proof$ = 
sent8 -> int1: the sandboy is an overestimate.; __UNKNOWN__