Erin is white. Fiona is furry. All white people are cold. If someone is white and smart then they are round. If Erin is cold then Erin is smart.
Fiona is smart.
@0: Erin is white.[(triple1)] Fiona is furry.[(triple2)] @1: Erin is cold.[(((triple1) -> rule1))] @2: Erin is smart.[(((((triple1) -> rule1)) -> rule3))] @3: Erin is round.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]