Anne is young. Bob is white. Dave is nice. All young things are smart.
Anne is young.
@0: Anne is young.[(triple1)] Bob is white.[(triple2)] Dave is nice.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))]