「御固いということは発生するがしかしぷのぷにょLv.69事件は起こらない」ということは誤りだ
fact1: もしもちゅもいLv.1事件が発生するなら「もわもにょLv.75事件が起こるけど中和することは生じない」ということは成り立たない fact2: もし仮にぷにゃぷよLv.77事件が生じないならもちゅもいLv.1事件が起こるしその上入れ難いということは発生する fact3: もちゅもいLv.1事件は「御固いということが起こるがしかしぷのぷにょLv.69事件は発生しない」ということをもたらす fact4: 強がることは生じない fact5: 仮に「御固いということが生じるしぷのぷにょLv.69事件は生じない」ということは確かなら「入れ難いということは生じない」ということは成り立つ fact6: 入れ難いということが起こる fact7: 「御固いということが起きる」ということは誤っていない
void -> assump1: 以下のように仮定する。御固いということが生じるけれどぷのぷにょLv.69事件は起こらない; fact5 & assump1 -> int1: 入れ難いということは起きない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA} & ¬{AB}); fact5 & assump1 -> int1: ¬{B}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。御固いということが生じるけれどぷのぷにょLv.69事件は起こらない
$facts$ = fact1: もしもちゅもいLv.1事件が発生するなら「もわもにょLv.75事件が起こるけど中和することは生じない」ということは成り立たない fact2: もし仮にぷにゃぷよLv.77事件が生じないならもちゅもいLv.1事件が起こるしその上入れ難いということは発生する fact3: もちゅもいLv.1事件は「御固いということが起こるがしかしぷのぷにょLv.69事件は発生しない」ということをもたらす fact4: 強がることは生じない fact5: 仮に「御固いということが生じるしぷのぷにょLv.69事件は生じない」ということは確かなら「入れ難いということは生じない」ということは成り立つ fact6: 入れ難いということが起こる fact7: 「御固いということが起きる」ということは誤っていない ; $hypothesis$ = 「御固いということは発生するがしかしぷのぷにょLv.69事件は起こらない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。御固いということが生じるけれどぷのぷにょLv.69事件は起こらない; fact5 & assump1 -> int1: 入れ難いということは起きない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: ({AA} & ¬{AB}); fact5 & assump1 -> int1: ¬{B}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__