Bob is rough. Dave is not cold. Erin is not kind. Fiona is not smart. If Dave is smart and Dave is kind then Dave is rough. Red, rough things are quiet. Green things are rough. All green things are red. All cold things are not quiet. Cold things are kind. Smart, kind things are not cold. If something is not smart then it is green.
Bob is smart.