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