Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is smart. Dave is young. Gary is not blue. Gary is cold. Gary is not green. Gary is rough. Gary is round. Gary is smart. Gary is young. All green, young people are round.
Gary is not cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple3 triple7) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple9)] Gary is not blue.[(triple8)] Gary is not green.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14)]