Bob is cold. Bob is kind. Bob is red. Fiona is smart. Gary is cold. Gary is furry. Gary is green. All red, cold things are quiet. Furry things are red. All smart, furry things are red.
Fiona is not red.