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