Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is smart. Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. If someone is smart and cold then they are quiet. Nice, green people are kind. If Bob is big then Bob is kind. If someone is quiet then they are big. If Gary is big and Gary is green then Gary is smart. If Bob is nice then Bob is cold. If Gary is smart then Gary is cold. If Bob is green then Bob is smart.
Bob is not big.