Bob is smart. Erin is young. All smart things are round. If something is round then it is furry. Cold things are white.
Erin is blue.
@0: Bob is smart.[(triple1)] Erin is young.[(triple2)] @1: Bob is round.[(((triple1) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule1)) -> rule2))]