Bob is red. Bob is nice. Bob is kind. Bob is green. Dave is kind. Dave is cold. Dave is blue. Dave is big. Eric is rough. Fred is kind. Fred is blue. Fred is big. If someone is big then they are nice. If someone is green and red then they are cold. If someone is big and nice then they are rough. If someone is red and kind then they are round. If someone is nice and round then they are blue. If someone is nice and rough then they are kind. If someone is kind and blue and nice then they are rough.
Fred is round.