Anne is green. Anne is round. Bob is green. Bob is smart. Charlie is green. Gary is big. Gary is white. Round things are quiet. White things are smart. If something is nice then it is round. All white things are smart. If something is round and quiet then it is green. All white, green things are nice. All white, nice things are round. All smart, white things are round. All smart things are round.
Charlie is quiet.