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