Anne is young. Bob is round. Dave is smart. If someone is young then they are smart. Round, kind people are blue. If Dave is young then Dave is white. Smart people are young. Kind, young people are round. If Dave is white and Dave is young then Dave is round.
Anne is not kind.
@0: Anne is young.[(triple1)] Bob is round.[(triple2)] Dave is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))] Dave is young.[(((triple3) -> rule4))] @2: Dave is white.[(((((triple3) -> rule4)) -> rule3))] @3: Dave is round.[(((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule6))]