Erin is furry. Fiona is blue. Harry is furry. All blue, nice things are cold. Quiet things are cold. Furry things are not blue. Blue things are quiet. Rough things are quiet. Quiet, blue things are nice. Quiet, young things are nice. Nice, quiet things are not furry.
Fiona is not young.
@0: Erin is furry.[(triple1)] Fiona is blue.[(triple2)] Harry is furry.[(triple3)] @1: Erin is not blue.[(((triple1) -> rule3))] Fiona is quiet.[(((triple2) -> rule4))] Harry is not blue.[(((triple3) -> rule3))] @2: Fiona is cold.[(((((triple2) -> rule4)) -> rule2) OR ((triple2 ((((triple2) -> rule4) triple2) -> rule6)) -> rule1))] Fiona is nice.[(((((triple2) -> rule4) triple2) -> rule6))] @3: Fiona is not furry.[(((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule8))]