Dave is blue. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. If something is blue and young then it is white. If something is quiet then it is white. Blue things are red.
Dave is not quiet.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3 OR ((triple1) -> rule3))] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple2) -> rule2) OR ((triple1 triple7) -> rule1))] Dave is young.[(triple7)]