Bob is big. Bob is cold. Bob is kind. Bob is smart. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Fiona is big. Fiona is rough. Harry is green. Harry is kind. All cold, big things are quiet. All kind, big things are green. Smart things are cold. Green, quiet things are smart. If something is rough and green then it is kind. All big things are smart. Quiet, smart things are kind. If Bob is smart and Bob is rough then Bob is kind. If Bob is kind then Bob is green.
Harry is rough.