Anne is round. Anne is smart. Anne is white. Anne is young. Bob is quiet. Charlie is round. Harry is red. If something is red then it is round. If something is young and smart then it is white. Young things are blue.
Charlie is not blue.