Anne is green. Anne is kind. Anne is quiet. Anne is not smart. Charlie is big. Charlie is quiet. Erin is blue. Erin is not kind. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. If something is big then it is smart.
Charlie is not smart.