このぷよぷちゅLv.76は遠くない
fact1: 「検討し始める」モンスターはいる fact2: もし「「このぷよぷちゅLv.76は関連付けしないかまたはくねくねしないかもしくはどちらもである」ということは間違いでない」ということは間違いだとすれば遠い fact3: もし仮に「何らかのモンスターは惨たらしいけれど手堅くない」ということは嘘であるならば惨たらしくない fact4: もし仮に何らかのモンスターは御偉いとすると「惨たらしいけど手堅くない」ということは間違っている fact5: もしあのもねもにゅLv.20は通り易くないなら「このぷよぷちゅLv.76は関連付けしないかくねくねしないかもしくは両方ともである」ということは成り立たない fact6: もし仮にあるモンスターは惨たらしくないなら「「通り易くなくてしかもそれは暗し」ということは真実だ」ということは本当だということはない fact7: 仮になにがしかのモンスターが検討し始めるとしたらあのもねもにゅLv.20は御偉いしおまけに一喜一憂する fact8: あのもねもにゅLv.20は通り易いということはない
fact5 & fact8 -> int1: 「「このぷよぷちゅLv.76は関連付けしないかあるいはくねくねしないかもしくはどちらもだ」ということは成り立たない」ということは間違っていない; int1 & fact2 -> hypothesis;
fact5 & fact8 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact2 -> hypothesis;
このぷよぷちゅLv.76は遠くない
fact9 -> int2: もしもあのもねもにゅLv.20は惨たらしくないとすれば「あのもねもにゅLv.20は通り易くない一方でそれは暗し」ということは事実と異なる; fact12 -> int3: もし「あのもねもにゅLv.20は惨たらしいが手堅くない」ということは成り立たないなら惨たらしくない; fact13 -> int4: もし「あのもねもにゅLv.20は御偉い」ということは本当だとすると「あのもねもにゅLv.20は惨たらしいけれど手堅くない」ということは成り立たない; fact10 & fact11 -> int5: あのもねもにゅLv.20は御偉いし一喜一憂する; int5 -> int6: あのもねもにゅLv.20は御偉い; int4 & int6 -> int7: 「あのもねもにゅLv.20は惨たらしい一方で手堅くない」ということは成り立つということはない; int3 & int7 -> int8: あのもねもにゅLv.20は惨たらしくない; int2 & int8 -> int9: 「あのもねもにゅLv.20は通り易くないがしかし暗し」ということは誤りである; int9 -> int10: 「「通り易くないけれど暗し」ということは真実でない」モンスターはいる;
$facts$ = fact1: 「検討し始める」モンスターはいる fact2: もし「「このぷよぷちゅLv.76は関連付けしないかまたはくねくねしないかもしくはどちらもである」ということは間違いでない」ということは間違いだとすれば遠い fact3: もし仮に「何らかのモンスターは惨たらしいけれど手堅くない」ということは嘘であるならば惨たらしくない fact4: もし仮に何らかのモンスターは御偉いとすると「惨たらしいけど手堅くない」ということは間違っている fact5: もしあのもねもにゅLv.20は通り易くないなら「このぷよぷちゅLv.76は関連付けしないかくねくねしないかもしくは両方ともである」ということは成り立たない fact6: もし仮にあるモンスターは惨たらしくないなら「「通り易くなくてしかもそれは暗し」ということは真実だ」ということは本当だということはない fact7: 仮になにがしかのモンスターが検討し始めるとしたらあのもねもにゅLv.20は御偉いしおまけに一喜一憂する fact8: あのもねもにゅLv.20は通り易いということはない ; $hypothesis$ = このぷよぷちゅLv.76は遠くない ; $proof$ = 
fact5 & fact8 -> int1: 「「このぷよぷちゅLv.76は関連付けしないかあるいはくねくねしないかもしくはどちらもだ」ということは成り立たない」ということは間違っていない; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact2 -> hypothesis; __DISPROVED__