Anne is nice. Bob is big. Charlie is blue. If Anne is big then Anne is rough. If something is nice then it is blue. If something is young then it is red. If something is blue then it is rough. All nice, rough things are young. All furry, big things are blue. If something is furry then it is blue. Furry things are big.
Bob is blue.