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