Bob is big. Bob is nice. Bob is young. Dave is blue. Dave is green. Dave is smart. Gary is kind. Gary is young. Harry is nice. Harry is young. Nice people are young. Nice people are smart. If Gary is blue and Gary is smart then Gary is big. If someone is green and young then they are smart. All nice people are young. If Bob is big and Bob is blue then Bob is green. If Gary is green and Gary is kind then Gary is smart. Green people are blue.
Harry is blue.