Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is white. Bob is quiet. Bob is not round. Dave is green. Dave is round. Erin is green. Erin is white. If something is white then it is blue. All round things are nice. If Erin is smart and Erin is blue then Erin is nice. If something is blue then it is smart. Nice, quiet things are white. All smart things are quiet. If something is quiet then it is nice. All nice things are white. If something is blue and not nice then it is not white.
Erin is not round.