Anne is smart. Bob is big. Bob is kind. Bob is smart. Bob is young. Dave is kind. Dave is smart. Erin is quiet. Erin is round. Erin is smart. If someone is cold then they are quiet. If Erin is round then Erin is young. If someone is quiet and not big then they are young. If someone is round and not big then they are cold. All kind, big people are round. If Anne is young and Anne is round then Anne is kind. All smart people are round. If someone is round and not kind then they are quiet. If someone is not young then they are smart.
Erin is not kind.