Bob is green. Bob is nice. Bob is round. Bob is young. Charlie is big. Charlie is red. Erin is young. If something is young and big then it is round. If Bob is red and Bob is big then Bob is green. If something is nice then it is not red.
Bob is not big.