Erin is cold. Fiona is furry. Fiona is smart. Big, cold things are smart. Cold things are kind. All cold things are green. Kind things are nice. All big, nice things are cold. If something is big and smart then it is furry.
Fiona is not furry.
@0: Erin is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is green.[(((triple1) -> rule3))] Erin is kind.[(((triple1) -> rule2))] @2: Erin is nice.[(((((triple1) -> rule2)) -> rule4))]