Comment by jacques_chester

Classical logic doesn't work in a legal context. You need at least to use fuzzy logic to model the domain.