Anne is round. Bob is blue. Bob is cold. Bob is green. Bob is not nice. Bob is round. Gary is blue. Gary is green. Gary is nice. Gary is not round. If Anne is blue then Anne is green. If something is smart and not red then it is blue. Round, green things are smart. If something is not red then it is blue. If something is green and not red then it is blue. If something is cold then it is blue.
Bob is smart.