「なんらかのモンスターは軽々しいか対抗し得るかまたはどちらもである」ということは成り立つということはない
fact1: もし仮にそのぽくぽいLv.8が読み辛いならそのぽくぽいLv.8は避け難い fact2: 「もしこのまえまいLv.86が対抗し得ないし軽々しくないならあのみゆみのLv.79は軽々しくない」ということは正しい fact3: もしも「なにがしかのモンスターは入手し易いということはない」ということは成り立つとするとそれは変え難いし読み辛い fact4: このまえまいLv.86は当て付けがましかない fact5: 当て付けがましいということはないモンスターは対抗し得ないしまた軽々しくない fact6: そのぽくぽいLv.8は読み辛いし更に入手し易い fact7: もしもこのまゆまちゃLv.94が入手し易くないかまたはそれが避け難くないか両方ともならばそのぽくぽいLv.8は入手し易くない fact8: 「仮にそのぽくぽいLv.8が避け難いならこのまゆまちゃLv.94は軽々しい」ということは本当だ
fact6 -> int1: そのぽくぽいLv.8は読み辛い; int1 & fact1 -> int2: そのぽくぽいLv.8は避け難い; int2 & fact8 -> int3: このまゆまちゃLv.94は軽々しい; int3 -> int4: このまゆまちゃLv.94は軽々しいかあるいは対抗し得るかもしくはどちらもだ; int4 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{b}; int3 -> int4: ({D}{b} v {E}{b}); int4 -> hypothesis;
なにがしかのモンスターは変え難いかあるいはそれは空恐ろしいかあるいは両方ともである
fact11 -> int5: もし仮にそのぽくぽいLv.8が入手し易くないとしたらそのぽくぽいLv.8は変え難いし更に読み辛い; fact9 -> int6: もしこのまえまいLv.86が当て付けがましいということはないならこのまえまいLv.86は対抗し得ないしおまけに軽々しくない; int6 & fact10 -> int7: 「このまえまいLv.86は対抗し得ないし軽々しくない」ということは正しい; fact13 & int7 -> int8: あのみゆみのLv.79は軽々しくない;
$facts$ = fact1: もし仮にそのぽくぽいLv.8が読み辛いならそのぽくぽいLv.8は避け難い fact2: 「もしこのまえまいLv.86が対抗し得ないし軽々しくないならあのみゆみのLv.79は軽々しくない」ということは正しい fact3: もしも「なにがしかのモンスターは入手し易いということはない」ということは成り立つとするとそれは変え難いし読み辛い fact4: このまえまいLv.86は当て付けがましかない fact5: 当て付けがましいということはないモンスターは対抗し得ないしまた軽々しくない fact6: そのぽくぽいLv.8は読み辛いし更に入手し易い fact7: もしもこのまゆまちゃLv.94が入手し易くないかまたはそれが避け難くないか両方ともならばそのぽくぽいLv.8は入手し易くない fact8: 「仮にそのぽくぽいLv.8が避け難いならこのまゆまちゃLv.94は軽々しい」ということは本当だ ; $hypothesis$ = 「なんらかのモンスターは軽々しいか対抗し得るかまたはどちらもである」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: そのぽくぽいLv.8は読み辛い; int1 & fact1 -> int2: そのぽくぽいLv.8は避け難い; int2 & fact8 -> int3: このまゆまちゃLv.94は軽々しい; int3 -> int4: このまゆまちゃLv.94は軽々しいかあるいは対抗し得るかもしくはどちらもだ; int4 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact8 -> int3: {D}{b}; int3 -> int4: ({D}{b} v {E}{b}); int4 -> hypothesis; __DISPROVED__