Charlie is rough. Dave is smart. Harry is nice. If someone is young and not nice then they are red. Rough people are young. White, nice people are young.
Dave is not red.
@0: Charlie is rough.[(triple1)] Dave is smart.[(triple2)] Harry is nice.[(triple3)] @1: Charlie is young.[(((triple1) -> rule2))]