Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Dave is white. If Dave is cold then Dave is kind. All green, white people are quiet.
Dave is kind.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple1) -> rule1))] Dave is quiet.[(triple4 OR ((triple2 triple7) -> rule2))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)]