Anne is big. Anne is quiet. Charlie is big. Charlie is quiet. Charlie is round. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is round. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is round. If Anne is round and Anne is nice then Anne is kind. If Anne is big and Anne is green then Anne is red. If someone is round then they are quiet. Quiet people are green. If Charlie is round then Charlie is red. If someone is green then they are nice. Round, nice people are green. All green people are nice.
Anne is round.