Anne is cold. Anne is young. Bob is big. Bob is cold. Bob is kind. Erin is cold. Erin is furry. Erin is kind. Fiona is kind. Fiona is red. Young things are big. Smart things are big. If something is kind and big then it is cold. Big things are not smart. All big, smart things are young. If something is young and not big then it is not red.
Anne is not kind.