Anne is cold. Bob is big. Bob is cold. Bob is not nice. Bob is quiet. Charlie is big. Charlie is cold. Charlie is young. Erin is red. Erin is not smart. If something is cold and red then it is quiet. If something is not cold then it is quiet. Cold things are red. All red, young things are smart. All quiet things are big. If something is young and not quiet then it is not smart. If something is young and not big then it is not nice. If Anne is nice and Anne is not quiet then Anne is smart.
Anne is smart.