Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is not round. Dave is blue. Dave is not furry. Dave is green. Erin is not big. Erin is furry. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is round. If Erin is round and Erin is cold then Erin is big.
Dave is not round.