Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is blue. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. White, rough people are quiet.
Dave is white.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2 OR ((triple6 triple4) -> rule1))] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12)]