the reductase is not a Leander.
sent1: the reductase is not a Leander if that the lecturer is a kind of an indicative but it does not cancel jaconet is false. sent2: the fact that something is a kind of a Amygdalus is not incorrect if that it is not a ijtihad and it does not age is incorrect. sent3: the fact that the lecturer is not a kind of a Leander is not wrong if the reductase is a ijtihad. sent4: there exists nothing that is not a ijtihad and is not an age.
sent2 -> int1: if the fact that the lecturer is not a ijtihad and not an age is not true then it is a kind of a Amygdalus.; sent4 -> int2: that the lecturer is not a ijtihad and is not an age is wrong.; int1 & int2 -> int3: the lecturer is a Amygdalus.;
$hypothesis$ = the reductase is not a Leander. ; $context$ = sent1: the reductase is not a Leander if that the lecturer is a kind of an indicative but it does not cancel jaconet is false. sent2: the fact that something is a kind of a Amygdalus is not incorrect if that it is not a ijtihad and it does not age is incorrect. sent3: the fact that the lecturer is not a kind of a Leander is not wrong if the reductase is a ijtihad. sent4: there exists nothing that is not a ijtihad and is not an age. ; $proof$ = 
sent2 -> int1: if the fact that the lecturer is not a ijtihad and not an age is not true then it is a kind of a Amygdalus.; sent4 -> int2: that the lecturer is not a ijtihad and is not an age is wrong.; int1 & int2 -> int3: the lecturer is a Amygdalus.; __UNKNOWN__