Anne is cold. Anne is white. Bob is cold. Bob is nice. Bob is red. Bob is smart. Charlie is cold. Erin is cold. Erin is furry. Erin is red. Erin is white. Erin is young. If Anne is white then Anne is furry. All cold things are young. Nice things are smart.
Charlie is cold.