Erin is cold. All cold things are red. If something is blue and not red then it is smart. All furry, smart things are blue.
Erin is not cold.
@0: Erin is cold.[(triple1)] @1: Erin is red.[(((triple1) -> rule1))]