Charlie is rough. Charlie is white. Dave is smart. If Charlie is round and Charlie is blue then Charlie is white. If someone is white and blue then they are rough. White, rough people are young.
Charlie is not blue.
@0: Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is young.[(((triple2 triple1) -> rule3))]