Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is white. Nice people are quiet.
Dave is not green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple4) -> rule1))] Dave is red.[(triple6)] Dave is white.[(triple7)]