このもよもいLv.34は構成し得ない
fact1: 仮にあのもねもよLv.30が等しいということはないとするとあのもねもよLv.30は壊れ易くて恐ろしい fact2: 「全てのモンスターは構成し得る」ということは成り立つ fact3: あのもねもよLv.30が恐ろしいモンスターでありその上信頼し得ればこのもよもいLv.34は恐ろしくない fact4: すべてのモンスターは愚かしい fact5: 「恐ろしくないモンスターは構成し得ない」ということは本当だ
fact2 -> int1: 「全てのモンスターは構成し得る」ということは成り立つ; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このもよもいLv.34は構成し得ない
fact7 -> int2: このもよもいLv.34が恐ろしくないならばこのもよもいLv.34は構成し得ない;
$facts$ = fact1: 仮にあのもねもよLv.30が等しいということはないとするとあのもねもよLv.30は壊れ易くて恐ろしい fact2: 「全てのモンスターは構成し得る」ということは成り立つ fact3: あのもねもよLv.30が恐ろしいモンスターでありその上信頼し得ればこのもよもいLv.34は恐ろしくない fact4: すべてのモンスターは愚かしい fact5: 「恐ろしくないモンスターは構成し得ない」ということは本当だ ; $hypothesis$ = このもよもいLv.34は構成し得ない ; $proof$ = 
fact2 -> int1: 「全てのモンスターは構成し得る」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__