Anne is blue. Charlie is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is round. Harry is nice. If Charlie is blue then Charlie is round. If someone is blue and round then they are smart. If someone is round and blue then they are smart. All rough, smart people are not round. If someone is not rough then they are blue. Green people are round. All nice, smart people are big. All blue people are green. If Anne is big and Anne is not smart then Anne is green.
Anne is not rough.