the machmeter is not a kind of a bearing but it is a cosmolatry.
sent1: the stepfather is a littoral. sent2: the machmeter does not bear if the stepfather is not a bear. sent3: the machmeter is not a kind of a bearing and is a cosmolatry if the stepfather is not a bearing. sent4: the Nan is not a cosmolatry. sent5: the machmeter does synthesize Orinoco. sent6: the stepfather is epizoan and it is a littoral if it is not a newsreel. sent7: the machmeter is not a bearing. sent8: the fact that something is not a kind of a bearing but it is a cosmolatry is not right if it is not influential. sent9: the stepfather is epizoan if the fact that it is littoral is not wrong. sent10: the stepfather is not epizoan if it is influential.
void -> assump1: Let's assume that the stepfather is a bearing.; assump1 -> int1: the stepfather either is influential or is a bearing or both.; sent9 & sent1 -> int2: the stepfather is epizoan.;
the fact that the machmeter is not a bearing but it is a cosmolatry is not right.
sent8 -> int3: that the machmeter is not a bearing but it is a cosmolatry is incorrect if it is not influential.;
$hypothesis$ = the machmeter is not a kind of a bearing but it is a cosmolatry. ; $context$ = sent1: the stepfather is a littoral. sent2: the machmeter does not bear if the stepfather is not a bear. sent3: the machmeter is not a kind of a bearing and is a cosmolatry if the stepfather is not a bearing. sent4: the Nan is not a cosmolatry. sent5: the machmeter does synthesize Orinoco. sent6: the stepfather is epizoan and it is a littoral if it is not a newsreel. sent7: the machmeter is not a bearing. sent8: the fact that something is not a kind of a bearing but it is a cosmolatry is not right if it is not influential. sent9: the stepfather is epizoan if the fact that it is littoral is not wrong. sent10: the stepfather is not epizoan if it is influential. ; $proof$ = 
void -> assump1: Let's assume that the stepfather is a bearing.; assump1 -> int1: the stepfather either is influential or is a bearing or both.; sent9 & sent1 -> int2: the stepfather is epizoan.; __UNKNOWN__