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