Dave is blue. Dave is red. Dave is white. Dave is young. Gary is not cold. Gary is red. Gary is young. If Dave is white and Dave is not green then Dave is cold. White things are red. If something is green and not red then it is not young. If Gary is green and Gary is not red then Gary is blue. Blue, rough things are cold. Cold things are not rough. If something is white and green then it is blue. Rough things are blue.
Gary is red.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2 OR ((triple3) -> rule2))] Dave is white.[(triple3)] Dave is young.[(triple4)] Gary is not cold.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)]