Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is young. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is nice and Gary is not kind then Gary is green. If Gary is young and Gary is not smart then Gary is cold. If something is young and not kind then it is red. If something is young then it is red. If something is green and not cold then it is not red. If something is young and not green then it is red.
Dave is kind.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple7) -> rule4))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12 OR ((triple14) -> rule4))] Gary is smart.[(triple13)] Gary is young.[(triple14)]