Bob is big. Bob is furry. Bob is kind. Bob is smart. Charlie is big. Charlie is kind. Gary is big. Gary is furry. Gary is red. Gary is rough. Harry is furry. Harry is red. If someone is big and red then they are kind. If someone is kind and furry then they are smart. Big people are red. All rough people are big. If Gary is smart then Gary is kind. If Charlie is blue and Charlie is big then Charlie is smart. If someone is blue then they are furry. All kind, smart people are rough.
Bob is not rough.