Anne is kind. Bob is quiet. Bob is smart. Erin is not kind. Erin is quiet. Erin is red. Erin is round. Erin is young. Gary is quiet. Gary is red. Gary is not smart. Gary is young. All round, furry things are smart. If something is kind and red then it is round. All round things are quiet. If something is kind and not young then it is smart. All red things are round. If Gary is kind then Gary is round.
Anne is not round.