Bob is cold. Erin is kind. Fiona is furry. Furry, smart things are quiet. If something is furry then it is smart.
Fiona is cold.
@0: Bob is cold.[(triple1)] Erin is kind.[(triple2)] Fiona is furry.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule2))] @2: Fiona is quiet.[(((triple3 ((triple3) -> rule2)) -> rule1))]