Anne is big. Anne is blue. Anne is round. Anne is smart. Erin is green. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is green. Gary is smart. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is smart. Green, quiet people are round. All big people are green. If someone is round and quiet then they are blue. All big people are blue. All round, blue people are green. All smart people are quiet.
Erin is not round.