Charlie is cold. Charlie is furry. Charlie is green. Charlie is round. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is white. If something is green then it is furry. If something is red then it is green. If Gary is cold and Gary is furry then Gary is red.
Fiona is furry.