Anne is kind. Erin is kind. Fiona is smart. If something is kind then it is cold. If something is kind and cold then it is furry. If Fiona is furry and Fiona is round then Fiona is young. Nice, round things are smart. Round things are young. If something is furry then it is smart.
Erin is smart.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Fiona is smart.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule1))] @2: Anne is furry.[(((triple1 ((triple1) -> rule1)) -> rule2))] Erin is furry.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Anne is smart.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] Erin is smart.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6))]