Erin is furry. Fiona is white. Fiona is young. All furry things are young. If Fiona is kind then Fiona is white. Young things are kind. If Erin is kind then Erin is cold. All white, cold things are green. If Erin is kind and Erin is not young then Erin is green. All kind, green things are cold. Quiet, green things are cold.
Erin is white.
@0: Erin is furry.[(triple1)] Fiona is white.[(triple2 OR ((((triple3) -> rule3)) -> rule2))] Fiona is young.[(triple3)] @1: Erin is young.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule3))] @2: Erin is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Erin is cold.[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]