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