Anne is red. Anne is white. Fiona is smart. Fiona is white. Fiona is young. Harry is blue. Harry is cold. Harry is nice. Harry is red. Harry is smart. Harry is white. Harry is young. White things are young. All smart, white things are young. If Fiona is cold and Fiona is blue then Fiona is white. Cold things are nice. All young things are cold. All smart things are red.
Fiona is not white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5 OR ((triple4) -> rule1) OR ((triple3 triple4) -> rule2))] Harry is blue.[(triple6)] Harry is cold.[(triple7 OR ((triple12) -> rule5) OR ((((triple11) -> rule1)) -> rule5) OR ((((triple10 triple11) -> rule2)) -> rule5))] Harry is nice.[(triple8 OR ((triple7) -> rule4) OR ((((triple12) -> rule5)) -> rule4) OR ((((((triple11) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10 triple11) -> rule2)) -> rule5)) -> rule4))] Harry is red.[(triple9 OR ((triple10) -> rule6))] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule1) OR ((triple10 triple11) -> rule2))] @1: Anne is young.[(((triple2) -> rule1))] Fiona is cold.[(((triple5) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple3 triple4) -> rule2)) -> rule5))] Fiona is red.[(((triple3) -> rule6))] @2: Anne is cold.[(((((triple2) -> rule1)) -> rule5))] Fiona is nice.[(((((triple5) -> rule5)) -> rule4) OR ((((((triple4) -> rule1)) -> rule5)) -> rule4) OR ((((((triple3 triple4) -> rule2)) -> rule5)) -> rule4))] @3: Anne is nice.[(((((((triple2) -> rule1)) -> rule5)) -> rule4))]