Anne is big. Anne is nice. Anne is round. Anne is young. Erin is big. Erin is kind. Erin is round. Erin is white. Erin is young. Harry is big. Harry is red. Harry is young. If Erin is big then Erin is red. If something is red then it is nice.
Erin is not red.