Bob is blue. Erin is blue. Fiona is rough. Harry is red. Blue, smart things are cold. Kind things are round. If something is round and cold then it is smart. If something is red then it is smart. Blue, cold things are red. Blue, round things are rough. Smart things are cold. All kind, round things are cold.
Erin is kind.
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Fiona is rough.[(triple3)] Harry is red.[(triple4)] @1: Harry is smart.[(((triple4) -> rule4))] @2: Harry is cold.[(((((triple4) -> rule4)) -> rule7))]