Bob is blue. Bob is red. Charlie is not big. Erin is big. Erin is not smart. Erin is young. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is young. If something is quiet and not smart then it is rough. If Bob is not young then Bob is red. If something is not red then it is not blue.
Charlie is not rough.