the Vedist is not a kind of a Sivapithecus.
sent1: The Tiamat carjacks Vedist. sent2: the Vedist is a Sivapithecus if the fact that the cookware is a Sivapithecus and not pacific is not correct. sent3: something that carjacks Tiamat and is pacific is not a Sivapithecus. sent4: the Vedist is pacific.
sent3 -> int1: the fact that the Vedist is not a Sivapithecus is not false if it carjacks Tiamat and is pacific.;
the Vedist is a Sivapithecus.
$hypothesis$ = the Vedist is not a kind of a Sivapithecus. ; $context$ = sent1: The Tiamat carjacks Vedist. sent2: the Vedist is a Sivapithecus if the fact that the cookware is a Sivapithecus and not pacific is not correct. sent3: something that carjacks Tiamat and is pacific is not a Sivapithecus. sent4: the Vedist is pacific. ; $proof$ = 
sent3 -> int1: the fact that the Vedist is not a Sivapithecus is not false if it carjacks Tiamat and is pacific.; __UNKNOWN__