Bob is green. Bob is rough. Charlie is green. Charlie is kind. Charlie is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is smart. All red, smart people are kind. Round, green people are kind. If Fiona is smart then Fiona is kind. If someone is smart and red then they are cold. If Bob is kind then Bob is red. All cold people are round. If someone is round then they are kind. All red people are smart. Green people are round.
Gary is red.