Anne is big. Anne is furry. Anne is red. Anne is young. Erin is furry. Fiona is big. Fiona is round. Fiona is smart. Fiona is young. Gary is furry. Young people are big. Young, round people are big. Furry people are young. All round, rough people are red. All smart, round people are furry. If someone is big then they are red. If Anne is big then Anne is round. Red, young people are smart. All smart, furry people are rough.
Erin is not red.