Charlie is smart. Dave is smart. Gary is young. If something is nice and white then it is young. All big, smart things are white. Blue things are big.
Charlie is not young.
@0: Charlie is smart.[(triple1)] Dave is smart.[(triple2)] Gary is young.[(triple3)]