theorem proving by resolution refutation

acqua alta bunker fuel oil cyclanthaceous ferric charge First Epistle to the Corinthians Graecising green lead ore (pyromorphite) interspinales cervicis iron sulfide discoloration jamaica sorrels JPEG image format kewpie low-water mark nuclear degeneration pebble ballast Qualification Examination of Seaman Applying for E radiation defect relph saccoradiculogram unconfound