Anne is nice. Anne is red. Bob is cold. Gary is not cold. Gary is nice. Gary is smart. Gary is white. If Anne is furry then Anne is big. All big, cold things are furry. If something is not red then it is big. Furry, cold things are white. Cold, white things are furry. If something is not white and not cold then it is big.
Gary is smart.