Dave is not big. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is round. Dave is smart. If something is red then it is cold. Smart things are round.
Dave is red.
@0: Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple5) -> rule1))] Dave is kind.[(triple4)] Dave is not big.[(triple1)] Dave is red.[(triple5)] Dave is round.[(triple6 OR ((triple7) -> rule2))] Dave is smart.[(triple7)]