Bob is big. Bob is cold. Bob is kind. Bob is quiet. Charlie is furry. Dave is furry. Erin is big. Erin is furry. Erin is kind. Erin is quiet. Red, cold people are big. If someone is cold and furry then they are red. Furry people are cold. If someone is cold and red then they are furry. All kind, furry people are cold. If Charlie is big then Charlie is kind. If someone is quiet and green then they are big. All cold, kind people are quiet. All quiet people are red.
Bob is red.