「あのぴにぴわLv.87は外注する」ということは間違っているということはない
fact1: あのみよみやLv.58が罪深いということはないかあるいはがっかりしないかあるいは両方ともだとしたらあのぴにぴわLv.87は外注しない fact2: もし「このまやまいLv.76は頼み難くないし毒々しいということはない」ということは誤りであるとすればあのぴにぴわLv.87は外注する fact3: あのみよみやLv.58はがっかりするししかも罪深い fact4: 「このまやまいLv.76は頼み難いけどそれは毒々しいということはない」ということは成り立つということはない fact5: もし仮にあのみよみやLv.58はがっかりするなら「このまやまいLv.76は頼み難くなくて毒々しいということはない」ということは偽である fact6: もしもとあるモンスターは見越さないとしたら「それは毒々しくないけど頼み難い」ということは成り立たない
fact3 -> int1: あのみよみやLv.58はがっかりする; int1 & fact5 -> int2: 「このまやまいLv.76は頼み難くなくてその上毒々しくない」ということは間違っている; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: ¬(¬{D}{b} & ¬{C}{b}); int2 & fact2 -> hypothesis;
「あのぴにぴわLv.87は外注しない」ということは正しい
fact8 -> int3: 仮にこのまやまいLv.76は見越さないなら「このまやまいLv.76は毒々しいということはないけれど頼み難い」ということは正しくない;
$facts$ = fact1: あのみよみやLv.58が罪深いということはないかあるいはがっかりしないかあるいは両方ともだとしたらあのぴにぴわLv.87は外注しない fact2: もし「このまやまいLv.76は頼み難くないし毒々しいということはない」ということは誤りであるとすればあのぴにぴわLv.87は外注する fact3: あのみよみやLv.58はがっかりするししかも罪深い fact4: 「このまやまいLv.76は頼み難いけどそれは毒々しいということはない」ということは成り立つということはない fact5: もし仮にあのみよみやLv.58はがっかりするなら「このまやまいLv.76は頼み難くなくて毒々しいということはない」ということは偽である fact6: もしもとあるモンスターは見越さないとしたら「それは毒々しくないけど頼み難い」ということは成り立たない ; $hypothesis$ = 「あのぴにぴわLv.87は外注する」ということは間違っているということはない ; $proof$ = 
fact3 -> int1: あのみよみやLv.58はがっかりする; int1 & fact5 -> int2: 「このまやまいLv.76は頼み難くなくてその上毒々しくない」ということは間違っている; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: ¬(¬{D}{b} & ¬{C}{b}); int2 & fact2 -> hypothesis; __PROVED__