Bob is young. Charlie is nice. If something is young and red then it is green. If something is young then it is cold. Cold things are red. If Bob is red then Bob is young. If Bob is cold then Bob is furry. All green, big things are young.
Charlie is furry.