Anne is smart. If someone is quiet then they are smart. If Anne is big and Anne is red then Anne is round. Smart, blue people are red. All nice, blue people are big. Smart people are big. If someone is big and not quiet then they are blue. All quiet people are not nice. If Anne is not red then Anne is smart.
Anne is nice.