Anne is blue. Anne is cold. Anne is red. Anne is rough. Anne is white. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is white. Fiona is green. Fiona is quiet. Fiona is white. If Dave is green and Dave is blue then Dave is white.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is white.[(triple12 OR ((triple8 triple6) -> rule1))] Fiona is green.[(triple13)] Fiona is quiet.[(triple14)] Fiona is white.[(triple15)]