Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. If something is big and furry then it is cold. Smart things are rough. All rough things are nice. All big things are rough. If something is cold then it is smart. If something is green and big then it is nice. All furry things are green. If something is smart and nice then it is cold.
Fiona is not rough.