Anne is not quiet. Bob is young. Charlie is young. Gary is young. If something is red and not nice then it is young. Furry things are young. Nice, quiet things are red. Quiet, nice things are red. All round things are red. If Charlie is not nice then Charlie is not round. All furry things are round. Nice, smart things are not furry.
Gary is not red.
@0: Anne is not quiet.[(triple1)] Bob is young.[(triple2)] Charlie is young.[(triple3)] Gary is young.[(triple4)]