Erin is furry. Erin is nice. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is young. All green people are furry. All smart, nice people are red. If Fiona is round then Fiona is nice. All smart people are young. If Fiona is furry then Fiona is smart. If someone is green and red then they are round.
Erin is not red.