そのぷちゅぷよLv.29はリレーするけれど生み易くない
fact1: もしもそのぷちゅぷよLv.29が生み易くないとしたらそのぷちゅぷよLv.29はリレーするけれど生み易くない fact2: 麗しくないモンスターは考え深いしさらに輝かし fact3: 仮にとあるモンスターは納得し難いなら「それはリレーするしかつそれは生み易くない」ということは成り立たない fact4: 輝かしモンスターは納得し難い fact5: そのぷゆぷちゅLv.54は納得し難い fact6: もしも「納得し難い」モンスターはいれば「あのまなまにゃLv.30は輝かしないし更に考え深いということはない」ということは誤っている fact7: もしもあのまなまにゃLv.30が納得し難いとしたらそのぷちゅぷよLv.29は納得し難い fact8: 仮に「あのまなまにゃLv.30は輝かしないししかも考え深いということはない」ということは成り立たないならばそのぷちゅぷよLv.29は生み易くない
fact5 -> int1: 「納得し難い」モンスターはいる; int1 & fact6 -> int2: 「あのまなまにゃLv.30は輝かしないしおまけに考え深くない」ということは間違いだ; int2 & fact8 -> int3: そのぷちゅぷよLv.29は生み易くない; int3 & fact1 -> hypothesis;
fact5 -> int1: (Ex): {A}x; int1 & fact6 -> int2: ¬(¬{B}{a} & ¬{C}{a}); int2 & fact8 -> int3: ¬{D}{b}; int3 & fact1 -> hypothesis;
「そのぷちゅぷよLv.29はリレーする一方で生み易いということはない」ということは成り立たない
fact10 -> int4: 「もしそのぷちゅぷよLv.29は納得し難いとすると「そのぷちゅぷよLv.29はリレーするけれど生み易くない」ということは成り立たない」ということは真実だ; fact12 -> int5: もしもあのまなまにゃLv.30が輝かしとすればあのまなまにゃLv.30は納得し難い; fact11 -> int6: あのまなまにゃLv.30が麗しくないならばそれは考え深いし輝かし;
$facts$ = fact1: もしもそのぷちゅぷよLv.29が生み易くないとしたらそのぷちゅぷよLv.29はリレーするけれど生み易くない fact2: 麗しくないモンスターは考え深いしさらに輝かし fact3: 仮にとあるモンスターは納得し難いなら「それはリレーするしかつそれは生み易くない」ということは成り立たない fact4: 輝かしモンスターは納得し難い fact5: そのぷゆぷちゅLv.54は納得し難い fact6: もしも「納得し難い」モンスターはいれば「あのまなまにゃLv.30は輝かしないし更に考え深いということはない」ということは誤っている fact7: もしもあのまなまにゃLv.30が納得し難いとしたらそのぷちゅぷよLv.29は納得し難い fact8: 仮に「あのまなまにゃLv.30は輝かしないししかも考え深いということはない」ということは成り立たないならばそのぷちゅぷよLv.29は生み易くない ; $hypothesis$ = そのぷちゅぷよLv.29はリレーするけれど生み易くない ; $proof$ = 
fact5 -> int1: 「納得し難い」モンスターはいる; int1 & fact6 -> int2: 「あのまなまにゃLv.30は輝かしないしおまけに考え深くない」ということは間違いだ; int2 & fact8 -> int3: そのぷちゅぷよLv.29は生み易くない; int3 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: (Ex): {A}x; int1 & fact6 -> int2: ¬(¬{B}{a} & ¬{C}{a}); int2 & fact8 -> int3: ¬{D}{b}; int3 & fact1 -> hypothesis; __PROVED__