Anne is kind. Anne is not round. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is red. Dave is not round. Erin is big. Erin is quiet. Erin is round. Harry is big. Harry is quiet. Harry is red. Harry is round. If Erin is quiet then Erin is red. If Dave is not big then Dave is not red. If Erin is quiet and Erin is big then Erin is blue. All quiet, round things are blue. All big, quiet things are kind. If something is not red then it is not round.
Dave is red.