慈悲深いということは起こらない
fact1: 「殉死することは起こらない」ということは「ぷちょぷゆLv.66事件は起こらなくてかつ慈悲深いということは起きない」ということに阻止される fact2: もしもやものLv.84事件が発生するとしたらまのまちょLv.46事件が起きるがぽにょぽちゃLv.1事件は生じない fact3: 「ぷちょぷゆLv.66事件が起きる」ということは確かだ fact4: 「燻ることが発生するけど滑り難いということは起きない」ということは嘘である fact5: 燻ることが起きなくて滑り難いということは起きないとしたら慈悲深いということは発生する fact6: ぽにょぽちゃLv.1事件が起きるということは「ぷちょぷゆLv.66事件は起きないしおまけに慈悲深いということは起こらない」ということを発生させる fact7: もし「燻ることは生じないしまた滑り難いということは生じない」ということは成り立たないとすればぷちょぷゆLv.66事件は起きない fact8: 仮にもやものLv.84事件は起きないとすればぽにょぽちゃLv.1事件が起こるしまのまちょLv.46事件が生じる
void -> assump1: 以下のように仮定する。「燻ることは発生しないしまた滑り難いということは起こらない」ということは事実と異なる; fact7 & assump1 -> int1: ぷちょぷゆLv.66事件は起こらない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「燻ることは生じないし更に滑り難いということは起こらない」ということは確かだ; int3 & fact5 -> hypothesis;
void -> assump1: ¬(¬{AA} & ¬{AB}); fact7 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} & ¬{AB}); int3 & fact5 -> hypothesis;
慈悲深いということは起こらない
$facts$ = fact1: 「殉死することは起こらない」ということは「ぷちょぷゆLv.66事件は起こらなくてかつ慈悲深いということは起きない」ということに阻止される fact2: もしもやものLv.84事件が発生するとしたらまのまちょLv.46事件が起きるがぽにょぽちゃLv.1事件は生じない fact3: 「ぷちょぷゆLv.66事件が起きる」ということは確かだ fact4: 「燻ることが発生するけど滑り難いということは起きない」ということは嘘である fact5: 燻ることが起きなくて滑り難いということは起きないとしたら慈悲深いということは発生する fact6: ぽにょぽちゃLv.1事件が起きるということは「ぷちょぷゆLv.66事件は起きないしおまけに慈悲深いということは起こらない」ということを発生させる fact7: もし「燻ることは生じないしまた滑り難いということは生じない」ということは成り立たないとすればぷちょぷゆLv.66事件は起きない fact8: 仮にもやものLv.84事件は起きないとすればぽにょぽちゃLv.1事件が起こるしまのまちょLv.46事件が生じる ; $hypothesis$ = 慈悲深いということは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「燻ることは発生しないしまた滑り難いということは起こらない」ということは事実と異なる; fact7 & assump1 -> int1: ぷちょぷゆLv.66事件は起こらない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「燻ることは生じないし更に滑り難いということは起こらない」ということは確かだ; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: ¬(¬{AA} & ¬{AB}); fact7 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA} & ¬{AB}); int3 & fact5 -> hypothesis; __DISPROVED__