Bob is blue. Charlie is red. Erin is blue. All furry, rough things are red. Red things are blue. Blue, green things are round. If something is furry and rough then it is cold. Blue things are rough. Red, rough things are furry.
Charlie is red.
@0: Bob is blue.[(triple1)] Charlie is red.[(triple2)] Erin is blue.[(triple3)] @1: Bob is rough.[(((triple1) -> rule5))] Charlie is blue.[(((triple2) -> rule2))] Erin is rough.[(((triple3) -> rule5))] @2: Charlie is rough.[(((((triple2) -> rule2)) -> rule5))] @3: Charlie is furry.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule6))] @4: Charlie is cold.[(((((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule6) ((((triple2) -> rule2)) -> rule5)) -> rule4))]