Anne is rough. Anne is young. Fiona is blue. Fiona is rough. Fiona is not round. Fiona is young. Harry is blue. Harry is cold. Harry is rough. Harry is not young. All blue things are rough. If something is young then it is white. If something is nice and not rough then it is white.
Fiona is not white.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is not round.[(triple5)] Fiona is rough.[(triple4 OR ((triple3) -> rule1))] Fiona is young.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is not young.[(triple10)] Harry is rough.[(triple9 OR ((triple7) -> rule1))] @1: Anne is white.[(((triple2) -> rule2))] Fiona is white.[(((triple6) -> rule2))]