the flight is a kind of a Lebanese but it is not a macaque.
sent1: something is a kind of a Lebanese that is not a kind of a macaque if it is not a kind of a oldwench. sent2: if that the brace is phalangeal thing that does not multiply Cercopidae is wrong then it multiply Cercopidae. sent3: that the flight is not a oldwench if that the brace is not archesporial and/or it is not amphitheatric does not hold is not incorrect. sent4: that the brace is phalangeal and does not multiply Cercopidae is false.
sent2 & sent4 -> int1: the brace multiplies Cercopidae.; sent1 -> int2: the flight is a kind of a Lebanese that is not a kind of a macaque if it is not a oldwench.;
$hypothesis$ = the flight is a kind of a Lebanese but it is not a macaque. ; $context$ = sent1: something is a kind of a Lebanese that is not a kind of a macaque if it is not a kind of a oldwench. sent2: if that the brace is phalangeal thing that does not multiply Cercopidae is wrong then it multiply Cercopidae. sent3: that the flight is not a oldwench if that the brace is not archesporial and/or it is not amphitheatric does not hold is not incorrect. sent4: that the brace is phalangeal and does not multiply Cercopidae is false. ; $proof$ = 
sent2 & sent4 -> int1: the brace multiplies Cercopidae.; sent1 -> int2: the flight is a kind of a Lebanese that is not a kind of a macaque if it is not a oldwench.; __UNKNOWN__