Bob is cold. Bob is furry. Fiona is cold. Fiona is nice. Gary is big. Gary is quiet. Harry is smart. If something is smart then it is cold. If something is cold then it is furry. If something is furry and green then it is quiet. Smart, green things are cold. Nice things are green. If something is furry then it is nice. All big things are furry.
Fiona is nice.