Anne is big. Anne is cold. Anne is not red. Anne is smart. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Fiona is red. Fiona is young. Gary is big. Gary is round. Gary is young. If Anne is round then Anne is red. If something is cold and not big then it is smart. If something is red and big then it is young. If Anne is smart then Anne is not round. If something is young and big then it is smart. If something is smart and round then it is quiet.
Gary is smart.