Anne is red. Anne is rough. Anne is smart. Anne is white. Dave is blue. Dave is cold. Dave is red. Dave is smart. Dave is white. Fiona is blue. Fiona is cold. Fiona is not nice. Fiona is not red. Fiona is rough. Fiona is smart. Fiona is not white. If something is red and not blue then it is rough. If something is blue and not nice then it is smart.
Anne is nice.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is not nice.[(triple12)] Fiona is not red.[(triple13)] Fiona is not white.[(triple16)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15 OR ((triple10 triple12) -> rule2))]