Bob is not cold. Bob is nice. Fiona is big. Fiona is cold. Fiona is furry. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is smart. Gary is big. Gary is cold. Gary is furry. Gary is not nice. Gary is red. Gary is rough. Gary is smart. All furry, nice things are not red. If Bob is smart then Bob is cold. Big things are red. If something is not cold then it is big. If something is rough and not cold then it is smart. If Gary is nice and Gary is not big then Gary is rough. If something is not rough then it is nice. If something is not red and not rough then it is not big.
Gary is not furry.