Anne is blue. Anne is round. Bob is blue. Bob is smart. Charlie is kind. Charlie is smart. Gary is cold. Round, kind things are smart. Cold things are smart. All young, blue things are cold. If Charlie is cold then Charlie is young. Blue things are round. All smart things are blue.
Bob is kind.