Erin is furry. Erin is green. Erin is not red. Erin is white. Fiona is blue. Fiona is not furry. Fiona is green. If Fiona is young then Fiona is white. All green things are cold. If something is cold then it is not young.
Fiona is young.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is not red.[(triple3)] Erin is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple7)] Fiona is not furry.[(triple6)] @1: Erin is cold.[(((triple2) -> rule2))] Fiona is cold.[(((triple7) -> rule2))] @2: Erin is not young.[(((((triple2) -> rule2)) -> rule3))] Fiona is not young.[(((((triple7) -> rule2)) -> rule3))]