Anne is big. Anne is green. Anne is quiet. Anne is red. Anne is not rough. Anne is not young. Charlie is smart. Erin is green. Erin is red. Erin is not rough. Erin is smart. Harry is big. Harry is red. Harry is rough. Harry is young. If something is red and not young then it is big. Rough, red things are green. If Erin is not young then Erin is red. If Anne is smart then Anne is rough. Smart things are not young. If something is not big then it is not red.
Charlie is big.