Anne is red. Anne is young. Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Fiona is big. Fiona is green. Fiona is round. Harry is round. If someone is red and kind then they are young. All young, round people are kind. Green people are cold. Green people are round. If someone is young then they are big. If Anne is green then Anne is round. If Harry is kind and Harry is cold then Harry is red. All round people are green. If Harry is cold then Harry is kind.
Bob is not red.