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