Anne is white. Bob is kind. All quiet, kind people are round. All kind people are quiet. If Anne is big and Anne is kind then Anne is young.
Bob is smart.
@0: Anne is white.[(triple1)] Bob is kind.[(triple2)] @1: Bob is quiet.[(((triple2) -> rule2))] @2: Bob is round.[(((((triple2) -> rule2) triple2) -> rule1))]