Dave is big. Dave is blue. Dave is quiet. Dave is round. Dave is white. Erin is big. Erin is furry. Erin is quiet. Erin is red. Erin is white. If something is blue then it is furry. If something is blue then it is white. If Erin is red then Erin is big. If Dave is white then Dave is round. All big things are blue. Red, furry things are quiet. All big, furry things are red. Furry things are big.
Erin is red.