Anne is big. Charlie is quiet. Gary is green. Harry is red. All round things are big. If Anne is red then Anne is not furry. If something is not red then it is white. Green things are round. If something is white and not furry then it is round. All green things are quiet. All quiet things are green. If Anne is red and Anne is not green then Anne is not big.
Gary is round.