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