傾き易いということが生じる
fact1: ぴにぴのLv.36事件が起こる fact2: ぽにゅぽにゃLv.92事件はぴにぴのLv.36事件を阻む fact3: 「腹黒いということは発生しない」ということは「傾き易いということは起こらなくて加えてぴにぴのLv.36事件は起こらない」ということをもたらす fact4: もしも「ぽにゅぽにゃLv.92事件は生じないがぷなぷちょLv.74事件は発生する」ということは成り立つということはないとしたらぴにぴのLv.36事件は起こらない fact5: もしも「傾き易いということは発生しない」ということは事実であるなら「ぽにゅぽにゃLv.92事件とぷなぷちょLv.74事件が発生する」ということは間違いだ fact6: 仮に「「ぽのぽねLv.96事件は生じないけどぽくぽいLv.5事件が起きる」ということは誤りである」ということは事実だとすると伸び易いということは発生しない fact7: 「ぽにゅぽにゃLv.92事件とぷなぷちょLv.74事件が起きる」ということは成り立たない fact8: 仮に傾き易いということは生じないとすれば「ぽにゅぽにゃLv.92事件ではなくてぷなぷちょLv.74事件が起きる」ということは事実と異なる
void -> assump1: 以下のように仮定する。「傾き易いということは起こらない」ということは本当だ; fact8 & assump1 -> int1: 「ぽにゅぽにゃLv.92事件ではなくぷなぷちょLv.74事件が起こる」ということは偽である; int1 & fact4 -> int2: ぴにぴのLv.36事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact8 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact4 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「傾き易いということは起こらない」ということは本当だ
$facts$ = fact1: ぴにぴのLv.36事件が起こる fact2: ぽにゅぽにゃLv.92事件はぴにぴのLv.36事件を阻む fact3: 「腹黒いということは発生しない」ということは「傾き易いということは起こらなくて加えてぴにぴのLv.36事件は起こらない」ということをもたらす fact4: もしも「ぽにゅぽにゃLv.92事件は生じないがぷなぷちょLv.74事件は発生する」ということは成り立つということはないとしたらぴにぴのLv.36事件は起こらない fact5: もしも「傾き易いということは発生しない」ということは事実であるなら「ぽにゅぽにゃLv.92事件とぷなぷちょLv.74事件が発生する」ということは間違いだ fact6: 仮に「「ぽのぽねLv.96事件は生じないけどぽくぽいLv.5事件が起きる」ということは誤りである」ということは事実だとすると伸び易いということは発生しない fact7: 「ぽにゅぽにゃLv.92事件とぷなぷちょLv.74事件が起きる」ということは成り立たない fact8: 仮に傾き易いということは生じないとすれば「ぽにゅぽにゃLv.92事件ではなくてぷなぷちょLv.74事件が起きる」ということは事実と異なる ; $hypothesis$ = 傾き易いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。「傾き易いということは起こらない」ということは本当だ; fact8 & assump1 -> int1: 「ぽにゅぽにゃLv.92事件ではなくぷなぷちょLv.74事件が起こる」ということは偽である; int1 & fact4 -> int2: ぴにぴのLv.36事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact8 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact4 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__