Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is not rough. Dave is white. Dave is not young. All cold things are blue. If something is nice then it is blue. Rough things are red.
Dave is not red.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is not rough.[(triple5)] Dave is not young.[(triple7)] Dave is red.[(triple4)] Dave is white.[(triple6)]