Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Dave is green. Dave is red. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Red, blue things are white. If Dave is green then Dave is blue.
Fiona is not white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple4 triple1) -> rule1))] Dave is green.[(triple8)] Dave is red.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] Fiona is white.[(triple16 OR ((triple13 triple10) -> rule1))] @1: Dave is blue.[(((triple8) -> rule2))] @2: Dave is white.[(((triple9 ((triple8) -> rule2)) -> rule1))]