Dave is big. Dave is cold. Erin is kind. Gary is kind. Gary is quiet. Gary is red. Harry is rough. If something is red then it is cold. All kind things are red. Cold things are quiet. Rough things are cold. Rough, red things are kind. If something is kind then it is big. If Harry is kind and Harry is smart then Harry is quiet. If Erin is big then Erin is smart.
Harry is not kind.