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