Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Harry is blue. Harry is not green. Harry is quiet. Harry is red. If Harry is smart and Harry is red then Harry is not quiet. If Harry is quiet and Harry is not green then Harry is red. If Dave is quiet and Dave is not rough then Dave is not blue.
Harry is nice.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Harry is blue.[(triple7)] Harry is not green.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple9 triple8) -> rule2))]