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