Charlie is furry. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Gary is big. Gary is nice. Gary is red. Gary is smart. Gary is young. If someone is white then they are smart.
Charlie is not white.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Gary is big.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)]