Bob is big. Erin is nice. Nice, blue things are smart. All nice things are big. If something is young then it is round. All big things are not young. If something is not young then it is furry. If something is not furry then it is blue.
Erin is not young.