Bob is nice. Bob is smart. Fiona is cold. Nice things are big. If something is big then it is smart. All smart things are red. If something is nice then it is furry. If something is nice and big then it is furry. If something is smart and cold then it is green. If Fiona is cold and Fiona is red then Fiona is furry. If Fiona is furry then Fiona is smart.
Fiona is nice.