「このまにまよLv.88は起き難くないけどやんごとない」ということは成り立たない
fact1: 「このぴやぴわLv.18が赤面しないとすればこのぴやぴわLv.18は起き難くて更に堪え難い」ということは成り立つ fact2: このみにょみくLv.68は堪え難い fact3: もしこのみにょみくLv.68が堪え難いとすればこのまにまよLv.88は赤面する fact4: もしこのまにまよLv.88が赤面するとするとこのまにまよLv.88は起き難くない fact5: もしもあるモンスターは堪え難いならば「起き難くないがやんごとない」ということは誤っている fact6: このまにまよLv.88が起き難くないとするとこのまにまよLv.88は起き難くないがしかしやんごとない fact7: このみにょみくLv.68は起き難い
fact3 & fact2 -> int1: このまにまよLv.88は赤面する; int1 & fact4 -> int2: このまにまよLv.88は起き難いということはない; int2 & fact6 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
このぴやぴわLv.18は起き難い
$facts$ = fact1: 「このぴやぴわLv.18が赤面しないとすればこのぴやぴわLv.18は起き難くて更に堪え難い」ということは成り立つ fact2: このみにょみくLv.68は堪え難い fact3: もしこのみにょみくLv.68が堪え難いとすればこのまにまよLv.88は赤面する fact4: もしこのまにまよLv.88が赤面するとするとこのまにまよLv.88は起き難くない fact5: もしもあるモンスターは堪え難いならば「起き難くないがやんごとない」ということは誤っている fact6: このまにまよLv.88が起き難くないとするとこのまにまよLv.88は起き難くないがしかしやんごとない fact7: このみにょみくLv.68は起き難い ; $hypothesis$ = 「このまにまよLv.88は起き難くないけどやんごとない」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> int1: このまにまよLv.88は赤面する; int1 & fact4 -> int2: このまにまよLv.88は起き難いということはない; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis; __DISPROVED__