Dave is big. Dave is cold. Dave is not kind. Dave is nice. Dave is red. Dave is rough. Dave is smart. If someone is rough then they are big. If Dave is kind then Dave is not cold.
Dave is nice.
@0: Dave is big.[(triple1 OR ((triple6) -> rule1))] Dave is cold.[(triple2)] Dave is nice.[(triple4)] Dave is not kind.[(triple3)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)]