Anne is big. Anne is cold. Anne is green. Bob is big. Bob is quiet. Dave is not blue. Erin is big. Erin is blue. Erin is not cold. Erin is not furry. Erin is not green. Erin is quiet. If Bob is quiet then Bob is furry. If something is quiet and not big then it is cold.
Bob is big.