Bob is big. Bob is furry. Bob is green. Bob is red. Charlie is cold. Charlie is furry. Charlie is kind. Dave is red. Erin is green. Erin is kind. Erin is red. If Charlie is white and Charlie is big then Charlie is green. All big things are furry. All furry things are red. Red things are cold. Cold things are kind. If something is furry then it is green. If Erin is red and Erin is big then Erin is furry. All furry things are red. Kind things are big.
Bob is white.