Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Rough, round things are red. Smart things are red. Rough things are nice. If something is smart then it is rough. If something is nice and not smart then it is cold. If Dave is not nice and Dave is not cold then Dave is not red.
Dave is not smart.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple5) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Dave is red.[(triple4 OR ((triple7) -> rule2) OR ((triple5 triple6) -> rule1) OR ((((triple7) -> rule4) triple6) -> rule1))] Dave is rough.[(triple5 OR ((triple7) -> rule4))] Dave is round.[(triple6)] Dave is smart.[(triple7)]