Anne is big. Anne is nice. Anne is red. Anne is rough. Bob is not big. Bob is red. Bob is rough. Bob is smart. Bob is young. Gary is big. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If Anne is not big then Anne is rough. All young people are rough. If someone is not red then they are not smart. If someone is nice and not young then they are rough. If someone is big then they are kind. If Anne is nice then Anne is kind.
Bob is not kind.