Bob is red. Fiona is furry. Gary is round. If Gary is big and Gary is cold then Gary is round. Young, blue things are red. If something is red and blue then it is cold. All round things are red. If Fiona is young then Fiona is round. All red things are big. Blue, cold things are young. If Bob is big then Bob is furry.
Bob is not red.