Anne is nice. Anne is smart. Anne is young. Bob is red. Bob is smart. Erin is smart. Gary is cold. Smart things are round. All round, young things are nice. Blue things are nice. If something is red then it is smart. All cold things are blue. Round things are red. If something is red and round then it is cold. If something is round and not nice then it is cold. If something is round and not red then it is cold.
Erin is round.