Anne is blue. Anne is green. Anne is rough. Anne is smart. Charlie is big. Charlie is green. Charlie is round. Erin is blue. Erin is red. Fiona is blue. Fiona is round. All big people are red. All red, blue people are smart. If someone is round and green then they are rough. If Fiona is rough and Fiona is blue then Fiona is green. All big people are blue. If someone is blue and round then they are big. All big people are red. If Fiona is round and Fiona is smart then Fiona is rough.
Fiona is not rough.