Anne is blue. Anne is green. Anne is nice. Anne is round. Anne is white. Anne is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is young. Harry is blue. Harry is green. Harry is kind. Harry is round. Harry is white. All round people are nice.
Fiona is not white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule1))] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple10) -> rule1))] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is nice.[(((triple15) -> rule1))]