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