Anne is cold. Erin is cold. Erin is furry. Erin is red. Fiona is furry. Fiona is green. Fiona is nice. If something is cold then it is smart. Smart, green things are blue. If something is cold then it is red. If something is red and not furry then it is cold. Red things are green. If Anne is not cold then Anne is not nice.
Anne is not furry.
@0: Anne is cold.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule3))] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] @1: Anne is red.[(((triple1) -> rule3))] Anne is smart.[(((triple1) -> rule1))] Erin is green.[(((triple4) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Erin is smart.[(((triple2) -> rule1))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule5))] Erin is blue.[(((((triple2) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule3)) -> rule5)) -> rule2))] @3: Anne is blue.[(((((triple1) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule2))]