the arrowhead does not clank nape.
sent1: there exists something such that that it is not a spark and it is Moroccan is false. sent2: if something is a kind of an autopilot then it does clank nape. sent3: if there is something such that that it is not a kind of a spark and is non-Moroccan does not hold the caribou is a kind of an autopilot. sent4: if the caribou is not nocturnal and/or it is not a nosher then it is not a kind of a nosher. sent5: there is something such that that it is a check and does not clank nape is not true. sent6: if the caribou is an autopilot then the fact that the phenyltoloxamine is not a kind of a check and is isentropic is wrong. sent7: the arrowhead is an autopilot if it is isentropic. sent8: the caribou is isentropic and does clank nape if it is not a nosher. sent9: if the caribou is not a check and it is not an autopilot then the arrowhead is not a kind of a check. sent10: there is something such that that it is not a spark and not Moroccan is not true. sent11: if the fact that something is not a check or not a nosher or both is not right then it is isentropic. sent12: if something does jam then the fact that either it is not a kind of a check or it is not a nosher or both is incorrect.
sent10 & sent3 -> int1: the caribou is a kind of an autopilot.; sent6 & int1 -> int2: that the phenyltoloxamine is not a check but it is isentropic is incorrect.; int2 -> int3: there exists something such that that it is not a check and is isentropic is wrong.;
the arrowhead clanks nape.
sent2 -> int4: if the arrowhead is an autopilot it clanks nape.; sent11 -> int5: if the fact that the arrowhead is not a check or not a nosher or both is false it is isentropic.; sent12 -> int6: if the arrowhead does jam the fact that it is not a check or not a nosher or both does not hold.;
$hypothesis$ = the arrowhead does not clank nape. ; $context$ = sent1: there exists something such that that it is not a spark and it is Moroccan is false. sent2: if something is a kind of an autopilot then it does clank nape. sent3: if there is something such that that it is not a kind of a spark and is non-Moroccan does not hold the caribou is a kind of an autopilot. sent4: if the caribou is not nocturnal and/or it is not a nosher then it is not a kind of a nosher. sent5: there is something such that that it is a check and does not clank nape is not true. sent6: if the caribou is an autopilot then the fact that the phenyltoloxamine is not a kind of a check and is isentropic is wrong. sent7: the arrowhead is an autopilot if it is isentropic. sent8: the caribou is isentropic and does clank nape if it is not a nosher. sent9: if the caribou is not a check and it is not an autopilot then the arrowhead is not a kind of a check. sent10: there is something such that that it is not a spark and not Moroccan is not true. sent11: if the fact that something is not a check or not a nosher or both is not right then it is isentropic. sent12: if something does jam then the fact that either it is not a kind of a check or it is not a nosher or both is incorrect. ; $proof$ = 
sent10 & sent3 -> int1: the caribou is a kind of an autopilot.; sent6 & int1 -> int2: that the phenyltoloxamine is not a check but it is isentropic is incorrect.; int2 -> int3: there exists something such that that it is not a check and is isentropic is wrong.; __UNKNOWN__