Dave is green. Dave is red. Dave is white. If someone is quiet then they are red. Cold people are white. If someone is quiet then they are white. If Dave is cold and Dave is green then Dave is red. Blue people are rough. All green, red people are white.
Dave is not red.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is white.[(triple3 OR ((triple1 triple2) -> rule6))]