「そのもゆもいLv.84はスタートすらない」ということは正しい
fact1: もしそのぽにゃぽいLv.81が程近くてさらに変え難いとすればこのみちょみにょLv.62は間違い易くない fact2: 「そのぽにゃぽいLv.81は程近いしその上甲斐甲斐しい」ということは事実だ fact3: もしもこのみちょみにょLv.62は甲斐甲斐しいとしたら「そのぽにゃぽいLv.81は間違い易い」ということは本当だ fact4: 保ち易くないモンスターは甲斐甲斐しいしかつ晴々しい fact5: もしもなにがしかのモンスターは間違い易いとしたら「変え難くておまけに程近くない」ということは成り立つということはない fact6: もしもこのみちょみにょLv.62が間違い易くないとすればそのもゆもいLv.84はスタートす fact7: そのぽにゃぽいLv.81は変え難い
fact2 -> int1: そのぽにゃぽいLv.81は程近い; int1 & fact7 -> int2: そのぽにゃぽいLv.81は程近くて加えて変え難い; int2 & fact1 -> int3: このみちょみにょLv.62は間違い易くない; int3 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact7 -> int2: ({A}{a} & {B}{a}); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis;
「そのもゆもいLv.84はスタートすらない」ということは正しい
fact9 -> int4: そのぽにゃぽいLv.81は間違い易いとすれば「それは変え難いけれど程近くない」ということは間違いだ; fact8 -> int5: もし仮にこのみちょみにょLv.62が保ち易くないとするとこのみちょみにょLv.62は甲斐甲斐しくてまた晴々しい;
$facts$ = fact1: もしそのぽにゃぽいLv.81が程近くてさらに変え難いとすればこのみちょみにょLv.62は間違い易くない fact2: 「そのぽにゃぽいLv.81は程近いしその上甲斐甲斐しい」ということは事実だ fact3: もしもこのみちょみにょLv.62は甲斐甲斐しいとしたら「そのぽにゃぽいLv.81は間違い易い」ということは本当だ fact4: 保ち易くないモンスターは甲斐甲斐しいしかつ晴々しい fact5: もしもなにがしかのモンスターは間違い易いとしたら「変え難くておまけに程近くない」ということは成り立つということはない fact6: もしもこのみちょみにょLv.62が間違い易くないとすればそのもゆもいLv.84はスタートす fact7: そのぽにゃぽいLv.81は変え難い ; $hypothesis$ = 「そのもゆもいLv.84はスタートすらない」ということは正しい ; $proof$ = 
fact2 -> int1: そのぽにゃぽいLv.81は程近い; int1 & fact7 -> int2: そのぽにゃぽいLv.81は程近くて加えて変え難い; int2 & fact1 -> int3: このみちょみにょLv.62は間違い易くない; int3 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact7 -> int2: ({A}{a} & {B}{a}); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact6 -> hypothesis; __DISPROVED__