something does not bar armory but it is a xerophyte.
sent1: the fact that the recruit is calculable and it is Dionysian is false. sent2: if the fact that the recruit is calculable and it is Dionysian does not hold then it is not Erasmian. sent3: the Canadian is not a falchion but calculable.
sent2 & sent1 -> int1: the recruit is not Erasmian.;
$hypothesis$ = something does not bar armory but it is a xerophyte. ; $context$ = sent1: the fact that the recruit is calculable and it is Dionysian is false. sent2: if the fact that the recruit is calculable and it is Dionysian does not hold then it is not Erasmian. sent3: the Canadian is not a falchion but calculable. ; $proof$ = 
sent2 & sent1 -> int1: the recruit is not Erasmian.; __UNKNOWN__