Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is not smart. Dave is white. Dave is young. All rough people are not smart. Young, red people are not smart. If someone is red and not rough then they are not cold. If someone is rough and red then they are cold. Rough people are cold. All white, smart people are blue. If Dave is young and Dave is smart then Dave is not blue. All white people are red.
Dave is white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple4) -> rule5) OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple6) -> rule8)) -> rule4))] Dave is not smart.[(triple5 OR ((triple4) -> rule1) OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple6) -> rule8)) -> rule2))] Dave is red.[(triple3 OR ((triple6) -> rule8))] Dave is rough.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)]