Anne is cold. Anne is quiet. Anne is red. Anne is rough. Bob is nice. Bob is white. Dave is red. Dave is white. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is white. All cold, kind people are white.
Gary is not quiet.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Bob is nice.[(triple5)] Bob is white.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15 OR ((triple9 triple10) -> rule1))]