the fact that the pheasant's-eye does not halve lexeme hold.
sent1: that the downpour is a kind of a Abkhaz and does not halve Ukranian does not hold if the pheasant's-eye halves lexeme. sent2: everything is not a Abkhaz and it does not halve Ukranian. sent3: the fact that something is a kind of a countermand but it does not halve lexeme does not hold if it is a time-fuse. sent4: something halves lexeme if the fact that it is a kind of a countermand and it does not halves lexeme is false.
void -> assump1: Let's assume that the pheasant's-eye does halve lexeme.; sent2 -> int1: the downpour is not a Abkhaz and does not halve Ukranian.;
the pheasant's-eye does halve lexeme.
sent4 -> int2: the pheasant's-eye halves lexeme if that it is a kind of a countermand and does not halves lexeme is wrong.; sent3 -> int3: that the pheasant's-eye is a countermand but it does not halve lexeme is wrong if it is a kind of a time-fuse.;
$hypothesis$ = the fact that the pheasant's-eye does not halve lexeme hold. ; $context$ = sent1: that the downpour is a kind of a Abkhaz and does not halve Ukranian does not hold if the pheasant's-eye halves lexeme. sent2: everything is not a Abkhaz and it does not halve Ukranian. sent3: the fact that something is a kind of a countermand but it does not halve lexeme does not hold if it is a time-fuse. sent4: something halves lexeme if the fact that it is a kind of a countermand and it does not halves lexeme is false. ; $proof$ = 
void -> assump1: Let's assume that the pheasant's-eye does halve lexeme.; sent2 -> int1: the downpour is not a Abkhaz and does not halve Ukranian.; __UNKNOWN__