Anne is green. Anne is not nice. Anne is smart. Bob is big. Bob is furry. Bob is green. Bob is white. Gary is not red. Gary is smart. Harry is big. Harry is red. Harry is white. If someone is smart then they are big. If someone is big and white then they are not nice. If Gary is big then Gary is not green.
Bob is smart.