the pentathlete is not a cardinal but it is a craft.
sent1: the pentathlete is a rudiment. sent2: the arithmetician is a craft. sent3: the fact that the arithmetician is not a kind of a rudiment is not wrong if the pentathlete is a cardinal and/or not a rudiment. sent4: that the arithmetician bilks hold. sent5: the pentathlete is both a craft and a rudiment. sent6: if the fern does not bilk then the arithmetician is unfair and it is a cardinal. sent7: the fern does not bilk if the cephaloglycin is not a timeserver but it bilk. sent8: the pentathlete is unfair.
void -> assump1: Let's assume that the pentathlete is a kind of a cardinal.; assump1 & sent8 -> int1: the pentathlete is a kind of a cardinal that is unfair.; sent5 -> int2: the pentathlete is a craft.;
the arithmetician is not a rudiment.
$hypothesis$ = the pentathlete is not a cardinal but it is a craft. ; $context$ = sent1: the pentathlete is a rudiment. sent2: the arithmetician is a craft. sent3: the fact that the arithmetician is not a kind of a rudiment is not wrong if the pentathlete is a cardinal and/or not a rudiment. sent4: that the arithmetician bilks hold. sent5: the pentathlete is both a craft and a rudiment. sent6: if the fern does not bilk then the arithmetician is unfair and it is a cardinal. sent7: the fern does not bilk if the cephaloglycin is not a timeserver but it bilk. sent8: the pentathlete is unfair. ; $proof$ = 
void -> assump1: Let's assume that the pentathlete is a kind of a cardinal.; assump1 & sent8 -> int1: the pentathlete is a kind of a cardinal that is unfair.; sent5 -> int2: the pentathlete is a craft.; __UNKNOWN__