Anne is big. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. If Charlie is big and Charlie is rough then Charlie is quiet. If Charlie is big and Charlie is green then Charlie is rough. If something is rough then it is red. All green, smart things are rough. If something is green then it is red. Quiet things are big. Big, green things are rough. All red, green things are quiet.
Fiona is not smart.