Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Fiona is cold. Fiona is kind. Fiona is smart. All green, cold people are kind. All cold people are green. If someone is green and red then they are kind.
Anne is not red.