Anne is green. Anne is kind. Anne is red. Anne is white. Charlie is round. Harry is green. Harry is red. All nice people are kind. If someone is green and red then they are round. If Anne is white and Anne is round then Anne is green. If someone is white and red then they are furry. All nice people are white. Round people are kind.
Harry is not furry.