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