Bob is blue. Bob is cold. Bob is red. Bob is round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Harry is cold. If Charlie is quiet and Charlie is round then Charlie is blue. Red people are blue. If someone is quiet then they are round. If Bob is round then Bob is red. All big, furry people are quiet. Big people are furry. Cold people are blue. If someone is red and furry then they are round. If Harry is blue then Harry is big.
Erin is not big.