Anne is big. Anne is cold. Anne is quiet. Anne is red. Bob is red. Bob is smart. Charlie is cold. If Bob is young then Bob is quiet. All red things are smart. All smart, red things are quiet.
Charlie is cold.