あのまにゃまちゅLv.67は心深ししその上起こし易い
fact1: もし仮にあのまにゃまちゅLv.67が書き残すとすればあのまにゃまちゅLv.67は心深し fact2: もし仮にあのもえもいLv.19は尊いなら「それは書き残さない」ということは成り立つ fact3: 「あのまにゃまちゅLv.67は起こし易い」ということは真実である fact4: なにがしかのモンスターは口惜しくないなら「「心深ししさらに起こし易い」ということは真実である」ということは成り立たない fact5: もし仮に「あるモンスターは組織すし口惜しい」ということは成り立たないなら口惜しくない fact6: あのもえもいLv.19は口惜しい fact7: もしもあのもえもいLv.19は口惜しいならば「あのまにゃまちゅLv.67は書き残す」ということは成り立つ
fact7 & fact6 -> int1: あのまにゃまちゅLv.67は書き残す; int1 & fact1 -> int2: あのまにゃまちゅLv.67は心深し; int2 & fact3 -> hypothesis;
fact7 & fact6 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
「あのまにゃまちゅLv.67は心深くておまけに起こし易い」ということは成り立たない
fact10 -> int3: 仮にあのまにゃまちゅLv.67は口惜しくないならば「あのまにゃまちゅLv.67は心深ししその上起こし易い」ということは間違いだ; fact8 -> int4: もしも「あのまにゃまちゅLv.67は組織すし口惜しい」ということは成り立たないとしたらあのまにゃまちゅLv.67は口惜しくない;
$facts$ = fact1: もし仮にあのまにゃまちゅLv.67が書き残すとすればあのまにゃまちゅLv.67は心深し fact2: もし仮にあのもえもいLv.19は尊いなら「それは書き残さない」ということは成り立つ fact3: 「あのまにゃまちゅLv.67は起こし易い」ということは真実である fact4: なにがしかのモンスターは口惜しくないなら「「心深ししさらに起こし易い」ということは真実である」ということは成り立たない fact5: もし仮に「あるモンスターは組織すし口惜しい」ということは成り立たないなら口惜しくない fact6: あのもえもいLv.19は口惜しい fact7: もしもあのもえもいLv.19は口惜しいならば「あのまにゃまちゅLv.67は書き残す」ということは成り立つ ; $hypothesis$ = あのまにゃまちゅLv.67は心深ししその上起こし易い ; $proof$ = 
fact7 & fact6 -> int1: あのまにゃまちゅLv.67は書き残す; int1 & fact1 -> int2: あのまにゃまちゅLv.67は心深し; int2 & fact3 -> hypothesis; __PROVED__
fact7 & fact6 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__