Bob is nice. Bob is rough. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. All rough people are blue. If someone is furry and rough then they are nice.
Fiona is not rough.