Anne is rough. Fiona is not smart. Gary is red. If someone is young then they are smart. If someone is young and not cold then they are not green. Green people are not rough. All red people are young. Young, cold people are red. Young, smart people are rough. If Fiona is not red and Fiona is not smart then Fiona is rough. If someone is red and not young then they are green.
Gary is not young.