Pikeun nunjukkeun yén set klausa {{C, ¬C, A}, {¬B, ¬A}, {¬B, C}, {¬C}, {¬C}, {¬C}, {¬B}} teu puas, urang tiasa nganggo metode resolusi. Mimiti, urang nyerat sadaya pasangan klausa anu mungkin: Ti {C, ¬C, A} sareng {C, ¬A}: Urang tiasa mutuskeun dina C pikeun kéngingkeun {¬A, A}, anu tiasa disederhankeun kana klausa kosong {¬B, ¬A} sareng {¬B, C}: Urang tiasa mutuskeun dina {¬A, C}, anu tiasa disederhankeun kana {¬A, C}. {¬C} sareng {¬A,}: Urang tiasa mutuskeun dina {¬A} pikeun kéngingkeun cuntuh anu tiasa disederhankeun, anu tiasa disederhankeun kana {¬A}
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence