the receptor transaminates tarpan.
sent1: the receptor is not a kind of a headstock if it is a kind of a chained and it is not a kind of a astatine. sent2: if the fact that something is a kind of a chained that is not a astatine is wrong then it transaminates tarpan. sent3: the synthesist does not letter eightpence and is not a headstock.
void -> assump1: Let's assume that the receptor is a chained and is not a astatine.; sent1 & assump1 -> int1: the receptor is not a headstock.; sent2 -> int2: if that that the receptor is a kind of a chained but it is not a astatine is right is false it transaminates tarpan.;
$hypothesis$ = the receptor transaminates tarpan. ; $context$ = sent1: the receptor is not a kind of a headstock if it is a kind of a chained and it is not a kind of a astatine. sent2: if the fact that something is a kind of a chained that is not a astatine is wrong then it transaminates tarpan. sent3: the synthesist does not letter eightpence and is not a headstock. ; $proof$ = 
void -> assump1: Let's assume that the receptor is a chained and is not a astatine.; sent1 & assump1 -> int1: the receptor is not a headstock.; sent2 -> int2: if that that the receptor is a kind of a chained but it is not a astatine is right is false it transaminates tarpan.; __UNKNOWN__