Erin is big. Erin is red. Erin is smart. Fiona is not green. Fiona is red. Gary is not big. Gary is quiet. All green things are not red. All big, cold things are quiet. If something is not big then it is not round. Smart, green things are red. If something is not smart and not green then it is quiet. If Gary is red and Gary is not cold then Gary is not green. If something is red and not quiet then it is not round. If something is not quiet and not round then it is red.
Fiona is not big.