Anne is green. Anne is white. Bob is cold. Bob is green. Bob is nice. Bob is round. Bob is white. Dave is cold. Dave is round. Dave is white. Gary is round. All round people are white. All cold people are nice. If Anne is nice and Anne is round then Anne is green. Green people are round. If Bob is round then Bob is nice. White people are cold. If Gary is kind and Gary is white then Gary is green. All nice people are kind.
Bob is not nice.