Dave is big. Dave is kind. Dave is quiet. Dave is smart. Fiona is red. Gary is kind. Gary is nice. Gary is red. Gary is smart. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. If Harry is red and Harry is quiet then Harry is smart. All green things are quiet. If something is green and smart then it is kind. If something is quiet then it is green. If something is big and quiet then it is smart. If something is red then it is big. All big things are green. If Dave is smart and Dave is red then Dave is kind.
Gary is not big.