Charlie is green. Charlie is red. Erin is round. Fiona is blue. Fiona is nice. Fiona is round. Harry is red. All red, green things are smart. Smart, blue things are red. All red things are rough. Nice things are green. All rough things are round. If Erin is nice then Erin is smart. All green, blue things are red. All round things are nice.
Harry is not rough.