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