Library policy: For a book to be removed from circulation, the book must be badly damaged and must not have been checked out for over two years.
Policy
Not badly damaged should not be or → removed from Checked out w/in circulation last two years
Written by local author or considered locally signif should not be and → removed from Checked out within circulation last three years
Application
Paper Flowers should not be removed.
Evaluate
When we're given principles, we want to always arrange them so that the Criterion is on the left and the Judgy term (should not be removed) is on the right.
The first rule said for X to happen, Y and Z must be true
Which contraposes into if Y false or Z false, X shouldn't happen
The second rule said Things that are Y or Z can be X only if Z
That one is too complex to have one standard rule to go off of. We're better off thinking,
That look like checked out within last 3 yrs → can't be removed
Then we just added on to the left side what criteria makes you part of "this group" of books: written by local author, significant to local history, or both
You could consider fudging the details there and just saying Locally important and → can't be removed checked out w/in last 3
Goal
Assuming we symbolized the rules properly, the hard part is over. Since the Application is saying that PF shouldn't be removed, we can get there by establishing that PF either triggers the first policy or the second.
So we either need to hear that PF 1. isn't badly damaged 2. has been checked out in the past 2 years or 3. is "locally important" and has been checked out in the past 3 years
Any of those three conditions will do it.