「「「受け入れ難いし更に成り行く」ということは間違いならば起き難くない」モンスターはいる」ということは成り立たない
fact1: もし「なにがしかのモンスターは受け入れ難くてまた成り行く」ということは成り立たないとすれば「起き難くない」ということは本当だ fact2: 「もし「受け入れ難くない」ということは事実であるなら起き難くない」モンスターはいる
fact1 -> int1: 仮に「「そのぽちょぽやLv.39は受け入れ難いししかも成り行く」ということは成り立つ」ということは間違いだとするとそのぽちょぽやLv.39は起き難くない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし「なにがしかのモンスターは受け入れ難くてまた成り行く」ということは成り立たないとすれば「起き難くない」ということは本当だ fact2: 「もし「受け入れ難くない」ということは事実であるなら起き難くない」モンスターはいる ; $hypothesis$ = 「「「受け入れ難いし更に成り行く」ということは間違いならば起き難くない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮に「「そのぽちょぽやLv.39は受け入れ難いししかも成り行く」ということは成り立つ」ということは間違いだとするとそのぽちょぽやLv.39は起き難くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__