Fiona is nice. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is smart. All red things are round. If something is cold and rough then it is round. All cold, green things are round. If Gary is green and Gary is rough then Gary is cold. Green, red things are rough. If something is rough and red then it is round. All smart things are cold. If Fiona is nice then Fiona is cold.
Fiona is nice.