Bob is blue. Bob is rough. Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Erin is round. Harry is big. Harry is nice. All round people are big. Rough people are green. If Dave is round then Dave is blue. If someone is green then they are round. If someone is rough and round then they are quiet. All blue, round people are green. All green, blue people are rough. Big people are blue. If Dave is green and Dave is nice then Dave is quiet.
Erin is not rough.