Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is white. Anne is young. Dave is quiet. Dave is red. Dave is rough. Dave is white. Dave is not young. Fiona is not blue. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is white. If someone is young and blue then they are not red. Red, rough people are white. If Dave is young and Dave is not red then Dave is green.
Dave is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Dave is not young.[(triple11)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10 OR ((triple8 triple9) -> rule2))] Fiona is not blue.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16 OR ((triple14 triple15) -> rule2))] @1: Anne is not red.[(((triple6 triple1) -> rule1))]