a Stupid Paraconsistent Default Logic Reasoner for myself