Erin is white. Fiona is rough. Gary is furry. Harry is blue. If something is white and furry then it is cold. White things are cold. If something is white then it is smart. All blue, furry things are nice. White, rough things are cold. If something is nice then it is smart. Nice, blue things are furry. If something is furry then it is blue.
Fiona is not rough.
@0: Erin is white.[(triple1)] Fiona is rough.[(triple2)] Gary is furry.[(triple3)] Harry is blue.[(triple4)] @1: Erin is cold.[(((triple1) -> rule2))] Erin is smart.[(((triple1) -> rule3))] Gary is blue.[(((triple3) -> rule8))] @2: Gary is nice.[(((((triple3) -> rule8) triple3) -> rule4))] @3: Gary is smart.[(((((((triple3) -> rule8) triple3) -> rule4)) -> rule6))]