Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Anne is white. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is cold. Gary is kind. Gary is white. If Gary is white then Gary is cold.
Gary is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is kind.[(triple9)] Bob is red.[(triple10)] Bob is rough.[(triple11)] Bob is white.[(triple12)] Bob is young.[(triple13)] Gary is cold.[(triple14 OR ((triple16) -> rule1))] Gary is kind.[(triple15)] Gary is white.[(triple16)]