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