Bob is white. Erin is blue. All white things are cold. If something is furry and young then it is nice. If something is round and not nice then it is blue.
Bob is round.
@0: Bob is white.[(triple1)] Erin is blue.[(triple2)] @1: Bob is cold.[(((triple1) -> rule1))]