Anne is not blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is not round. Anne is not white. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is not round. Gary is white. If something is furry and not blue then it is kind.
Gary is white.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple3 triple1) -> rule1))] Anne is not blue.[(triple1)] Anne is not round.[(triple6)] Anne is not white.[(triple7)] Anne is rough.[(triple5)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is not round.[(triple13)] Gary is rough.[(triple12)] Gary is white.[(triple14)]