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