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