Anne is quiet. Bob is nice. Erin is white. Gary is smart. If Anne is rough then Anne is quiet. Green things are smart. If something is quiet then it is smart. If Gary is smart then Gary is nice. All green things are quiet. Green things are quiet.
Anne is not smart.