Charlie is quiet. Dave is big. Dave is furry. Dave is round. Dave is smart. Gary is blue. Gary is furry. Gary is smart. Harry is blue. Harry is furry. Harry is red. Harry is smart. If something is furry then it is smart. If something is round then it is blue. All quiet things are round. All blue, smart things are furry. If Charlie is quiet then Charlie is red. If something is furry then it is smart. All blue, furry things are big. If something is quiet then it is red.
Gary is round.