Bob is blue. Bob is green. Bob is kind. Bob is nice. Dave is big. Dave is blue. Dave is kind. Dave is not nice. Erin is kind. Erin is nice. If Erin is big then Erin is not green. All green people are nice. If someone is not green then they are rough. If someone is kind and blue then they are big. Nice people are rough. All rough, kind people are big. If someone is big and not blue then they are rough. If Erin is green and Erin is cold then Erin is kind.
Bob is rough.