Anne is round. Anne is white. Bob is rough. Bob is smart. Bob is white. Erin is quiet. Erin is round. Erin is smart. Gary is big. Gary is round. All smart things are big. If Gary is young and Gary is quiet then Gary is round. All big, white things are quiet. If Erin is rough then Erin is round. If Gary is round then Gary is white. If Anne is rough then Anne is smart. If something is white and big then it is young. All young things are smart.
Anne is not round.