Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. All kind things are green. Green, kind things are nice. Nice, kind things are cold. Smart, furry things are kind. All cold, furry things are smart. If Fiona is cold and Fiona is furry then Fiona is rough. All smart things are green. Green, cold things are smart.
Bob is not nice.