the minicomputer is glossopharyngeal.
sent1: the afropavo does not metabolize. sent2: the afropavo does not mismanage lekvar. sent3: the afropavo does not mismanage lekvar and is not indeterminate. sent4: the fact that the coif overleaps and does not intercept does not hold if the fact that the minicomputer is a kind of a LAN is true. sent5: the afropavo is a kind of a fossil. sent6: that the coif is a LAN and a Sango is not correct if the cripple is not indeterminate. sent7: if that something is a kind of a LAN that is a Sango is not correct it is not a LAN. sent8: that the coif does not overleap but it is an intercept is not right if the minicomputer is a LAN. sent9: if the minicomputer is a LAN then the fact that the coif does not overleap and it is not an intercept is not true. sent10: the coif is not a LAN. sent11: if something is not a LAN it is glossopharyngeal. sent12: the fact that the autotype is a Sango that is not a kind of a carrot is not correct. sent13: the cripple is not a kind of an airflow and it does not overleap. sent14: the cripple is a Sango if the fact that the coif does not overleap and it does not intercept is wrong.
void -> assump1: Let's assume that the minicomputer is a kind of a LAN.; sent9 & assump1 -> int1: the fact that the coif does not overleap and it is not a kind of an intercept is wrong.; int1 & sent14 -> int2: the cripple is a Sango.; sent3 -> int3: the fact that the afropavo is indeterminate is false.; sent11 -> int4: if the minicomputer is not a LAN then it is glossopharyngeal.;
the minicomputer is not glossopharyngeal.
sent7 -> int5: if the fact that the coif is a LAN and is a Sango is not right that it is not a LAN is right.;
$hypothesis$ = the minicomputer is glossopharyngeal. ; $context$ = sent1: the afropavo does not metabolize. sent2: the afropavo does not mismanage lekvar. sent3: the afropavo does not mismanage lekvar and is not indeterminate. sent4: the fact that the coif overleaps and does not intercept does not hold if the fact that the minicomputer is a kind of a LAN is true. sent5: the afropavo is a kind of a fossil. sent6: that the coif is a LAN and a Sango is not correct if the cripple is not indeterminate. sent7: if that something is a kind of a LAN that is a Sango is not correct it is not a LAN. sent8: that the coif does not overleap but it is an intercept is not right if the minicomputer is a LAN. sent9: if the minicomputer is a LAN then the fact that the coif does not overleap and it is not an intercept is not true. sent10: the coif is not a LAN. sent11: if something is not a LAN it is glossopharyngeal. sent12: the fact that the autotype is a Sango that is not a kind of a carrot is not correct. sent13: the cripple is not a kind of an airflow and it does not overleap. sent14: the cripple is a Sango if the fact that the coif does not overleap and it does not intercept is wrong. ; $proof$ = 
void -> assump1: Let's assume that the minicomputer is a kind of a LAN.; sent9 & assump1 -> int1: the fact that the coif does not overleap and it is not a kind of an intercept is wrong.; int1 & sent14 -> int2: the cripple is a Sango.; sent3 -> int3: the fact that the afropavo is indeterminate is false.; sent11 -> int4: if the minicomputer is not a LAN then it is glossopharyngeal.; __UNKNOWN__