Dave is rough. Dave is smart. Erin is green. Gary is big. Gary is smart. Harry is green. Harry is rough. If someone is smart then they are big. All big, rough people are nice. Green people are smart. Round, big people are rough. If Gary is rough and Gary is smart then Gary is green. If someone is not big then they are smart.
Harry is green.