Bob is smart. Dave is not white. Fiona is smart. If Bob is furry then Bob is white. If something is furry then it is red. Smart things are furry.
Dave is smart.
@0: Bob is smart.[(triple1)] Dave is not white.[(triple2)] Fiona is smart.[(triple3)] @1: Bob is furry.[(((triple1) -> rule3))] Fiona is furry.[(((triple3) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule2))] Bob is white.[(((((triple1) -> rule3)) -> rule1))] Fiona is red.[(((((triple3) -> rule3)) -> rule2))]