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