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