仕舞うことが生じる
fact1: もし「宜しということは発生するしもわもわLv.13事件は生じない」ということは成り立たないならば宜しということは起きない fact2: もし仮に「ぷいぷやLv.71事件が生じるかまたはみにゃみちゅLv.14事件が発生する」ということは確かだとすればぽちゃぽのLv.36事件は生じない fact3: もしもぷいぷやLv.71事件は生じないなら「出来難いということが起こるかまたは貴方らしいということが発生する」ということは事実でない fact4: とろ臭いということは生じないし写生することは発生しない fact5: 「ぴにゃぴにゅLv.27事件が起きるかまたはぽちゃぽのLv.36事件が生じる」ということは確かでないとすれば仕舞うことは発生しない fact6: もし仮に宜しということは起こらないとすれば「ぽちゃぽのLv.36事件およびぴにゃぴにゅLv.27事件両方ともが発生する」ということは成り立たない fact7: ぷいぷやLv.71事件は起きないということは「ぽちゃぽのLv.36事件ではなくみにゃみちゅLv.14事件が発生する」ということにより生じる fact8: もしぽちゃぽのLv.36事件は発生しないならば「ぴにゃぴにゅLv.27事件が起こるかあるいはぽちゃぽのLv.36事件が起きるかまたは両方だ」ということは成り立たない fact9: 「とろ臭いということは起こらなくておまけに写生することは生じない」ということはみにゃみちゅLv.14事件を生じさせる
fact9 & fact4 -> int1: みにゃみちゅLv.14事件が生じる; int1 -> int2: ぷいぷやLv.71事件が生じるかあるいはみにゃみちゅLv.14事件が起こるかあるいは両方ともである; int2 & fact2 -> int3: ぽちゃぽのLv.36事件は起きない; int3 & fact8 -> int4: 「ぴにゃぴにゅLv.27事件かぽちゃぽのLv.36事件かまたは両方が起きる」ということは間違いである; int4 & fact5 -> hypothesis;
fact9 & fact4 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact2 -> int3: ¬{C}; int3 & fact8 -> int4: ¬({D} v {C}); int4 & fact5 -> hypothesis;
仕舞うことが生じる
$facts$ = fact1: もし「宜しということは発生するしもわもわLv.13事件は生じない」ということは成り立たないならば宜しということは起きない fact2: もし仮に「ぷいぷやLv.71事件が生じるかまたはみにゃみちゅLv.14事件が発生する」ということは確かだとすればぽちゃぽのLv.36事件は生じない fact3: もしもぷいぷやLv.71事件は生じないなら「出来難いということが起こるかまたは貴方らしいということが発生する」ということは事実でない fact4: とろ臭いということは生じないし写生することは発生しない fact5: 「ぴにゃぴにゅLv.27事件が起きるかまたはぽちゃぽのLv.36事件が生じる」ということは確かでないとすれば仕舞うことは発生しない fact6: もし仮に宜しということは起こらないとすれば「ぽちゃぽのLv.36事件およびぴにゃぴにゅLv.27事件両方ともが発生する」ということは成り立たない fact7: ぷいぷやLv.71事件は起きないということは「ぽちゃぽのLv.36事件ではなくみにゃみちゅLv.14事件が発生する」ということにより生じる fact8: もしぽちゃぽのLv.36事件は発生しないならば「ぴにゃぴにゅLv.27事件が起こるかあるいはぽちゃぽのLv.36事件が起きるかまたは両方だ」ということは成り立たない fact9: 「とろ臭いということは起こらなくておまけに写生することは生じない」ということはみにゃみちゅLv.14事件を生じさせる ; $hypothesis$ = 仕舞うことが生じる ; $proof$ = 
fact9 & fact4 -> int1: みにゃみちゅLv.14事件が生じる; int1 -> int2: ぷいぷやLv.71事件が生じるかあるいはみにゃみちゅLv.14事件が起こるかあるいは両方ともである; int2 & fact2 -> int3: ぽちゃぽのLv.36事件は起きない; int3 & fact8 -> int4: 「ぴにゃぴにゅLv.27事件かぽちゃぽのLv.36事件かまたは両方が起きる」ということは間違いである; int4 & fact5 -> hypothesis; __DISPROVED__
fact9 & fact4 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact2 -> int3: ¬{C}; int3 & fact8 -> int4: ¬({D} v {C}); int4 & fact5 -> hypothesis; __DISPROVED__