Anne is big. Anne is blue. Anne is green. Anne is rough. Anne is round. Anne is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Charlie is young. Gary is blue. Gary is rough. Gary is round. If someone is blue and big then they are young. If someone is blue and rough then they are big. If someone is young and blue then they are round. If Anne is round then Anne is furry. All big, furry people are rough. If someone is blue then they are green. Round people are young. All round, green people are rough.
Charlie is not round.