Anne is red. Bob is big. Charlie is smart. Gary is red. If Anne is cold then Anne is big. All kind things are red. All smart things are big. Furry, blue things are cold. Furry, kind things are smart. All kind things are big. If Bob is furry then Bob is red. All red, blue things are kind.
Charlie is big.