Anne is green. Anne is quiet. Anne is smart. Erin is cold. Erin is red. Fiona is green. Fiona is smart. Fiona is white. Harry is quiet. Harry is red. All green, red things are white. If Fiona is green then Fiona is red. All smart, cold things are quiet. All red, white things are cold. All green, cold things are red. All white, smart things are nice.
Harry is not white.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Erin is cold.[(triple4)] Erin is red.[(triple5)] Fiona is green.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8 OR ((triple6 ((triple6) -> rule2)) -> rule1))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Fiona is nice.[(((triple8 triple7) -> rule6) OR ((((triple6 ((triple6) -> rule2)) -> rule1) triple7) -> rule6))] Fiona is red.[(((triple6) -> rule2))] @2: Fiona is cold.[(((((triple6) -> rule2) triple8) -> rule4) OR ((((triple6) -> rule2) ((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4))] @3: Fiona is quiet.[(((triple7 ((((triple6) -> rule2) triple8) -> rule4)) -> rule3) OR ((triple7 ((((triple6) -> rule2) ((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4)) -> rule3))]