Anne is cold. Anne is kind. Anne is nice. Bob is big. Bob is furry. Bob is kind. Charlie is cold. Charlie is nice. Charlie is smart. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is smart. Gary is young. If Charlie is cold then Charlie is nice. Cold, furry people are smart. If Charlie is kind then Charlie is big. If Charlie is smart and Charlie is nice then Charlie is young. If Gary is big and Gary is young then Gary is cold. If someone is nice then they are kind.
Gary is not big.