Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Erin is big. Erin is cold. Erin is quiet. Erin is red. Harry is cold. Harry is furry. Harry is red. If Bob is big then Bob is nice. All quiet things are cold. If Bob is cold and Bob is nice then Bob is round. If Erin is furry and Erin is red then Erin is nice. If something is red then it is round. If something is nice and big then it is cold.
Erin is red.