Bob is kind. Fiona is green. Fiona is nice. Fiona is quiet. Gary is kind. Harry is kind. Harry is rough. All nice things are smart. Kind things are nice. If Fiona is kind then Fiona is rough. All green, kind things are white. If Fiona is green then Fiona is kind. Rough, kind things are green. All kind, green things are quiet. If something is smart then it is rough.
Bob is smart.