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