Charlie is round. Dave is blue. Dave is red. Dave is round. Dave is smart. Erin is round. Gary is round. If something is furry and kind then it is red. All kind things are blue. All round things are kind. If Gary is smart then Gary is red. If something is red then it is round. If Erin is blue and Erin is round then Erin is big. Furry things are big. All red things are smart.
Dave is round.