Anne is green. Anne is kind. Anne is red. Erin is green. Erin is quiet. Erin is red. Gary is green. Gary is round. Harry is furry. Harry is green. Harry is kind. Harry is nice. If something is furry and kind then it is red. If something is furry and not round then it is kind. Green things are kind. All quiet things are nice. If something is kind then it is quiet. All quiet, red things are green. All nice, green things are furry. If Anne is kind then Anne is furry.
Anne is not nice.