Anne is not smart. Bob is blue. Charlie is nice. Gary is young. All smart, quiet people are young. Big, smart people are quiet. If someone is smart and not nice then they are blue.
Charlie is not young.
@0: Anne is not smart.[(triple1)] Bob is blue.[(triple2)] Charlie is nice.[(triple3)] Gary is young.[(triple4)]