Anne is blue. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Bob is quiet. Bob is smart. Dave is blue. Dave is nice. Dave is quiet. Gary is nice. Gary is red. Blue, round things are smart. Smart, red things are round. If Bob is blue then Bob is round. If something is nice then it is quiet. If Gary is nice and Gary is quiet then Gary is smart. All blue things are young. If Gary is smart and Gary is round then Gary is blue. Smart things are round.
Anne is round.