Anne is big. Anne is green. Anne is not red. Anne is young. Bob is green. Erin is green. Fiona is young. All big, nice things are not young. All red things are not rough. If something is red then it is big. Big, nice things are not red. If something is young and big then it is not nice. If something is nice and not round then it is red. Red things are young. If something is red and not young then it is rough.
Bob is not rough.