A simple computational model for nonmonotonic and adversartial legal reasoning