Anne is not green. Anne is quiet. Anne is round. Bob is big. Bob is cold. Bob is not green. Bob is quiet. Bob is not smart. Bob is young. Erin is big. Erin is cold. Erin is not green. Erin is smart. Gary is big. Gary is not quiet. Gary is round. If Anne is big and Anne is green then Anne is cold. If something is quiet and not green then it is cold.
Bob is not smart.