Fiona is nice. Gary is nice. Kind, cold things are smart. If Fiona is nice then Fiona is cold. Green, kind things are nice. All smart things are furry. Nice things are kind. All green, kind things are smart.
Gary is furry.
@0: Fiona is nice.[(triple1)] Gary is nice.[(triple2)] @1: Fiona is cold.[(((triple1) -> rule2))] Fiona is kind.[(((triple1) -> rule5))] Gary is kind.[(((triple2) -> rule5))] @2: Fiona is smart.[(((((triple1) -> rule5) ((triple1) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((((triple1) -> rule5) ((triple1) -> rule2)) -> rule1)) -> rule4))]