ぽにょぽいLv.37事件が起こる
fact1: 「ぷえぷくLv.85事件が起きるしさらに幻視することが発生する」ということは間違いだ fact2: 合わせ易いということは御安いということかもしくはわりないということに阻まれる fact3: わりないということおよび知覚出来ることが起きる fact4: もしも合わせ易いということは起きないとすれば「甘ーいということが発生するがしかし行き易いということは起こらない」ということは誤っている fact5: もし「甘ーいということが起こるが行き易いということは発生しない」ということは成り立つということはないならぽにょぽいLv.37事件が生じる fact6: 「ぽにょぽいLv.37事件が発生する」ということは甘ーいということは発生しないということに引き起こされる
fact3 -> int1: わりないということが起きる; int1 -> int2: 御安いということが生じるかまたはわりないということが起こるかあるいは両方ともである; int2 & fact2 -> int3: 合わせ易いということは起きない; int3 & fact4 -> int4: 「甘ーいということが起きる一方で行き易いということは生じない」ということは成り立たない; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> int3: ¬{D}; int3 & fact4 -> int4: ¬({E} & ¬{F}); int4 & fact5 -> hypothesis;
$facts$ = fact1: 「ぷえぷくLv.85事件が起きるしさらに幻視することが発生する」ということは間違いだ fact2: 合わせ易いということは御安いということかもしくはわりないということに阻まれる fact3: わりないということおよび知覚出来ることが起きる fact4: もしも合わせ易いということは起きないとすれば「甘ーいということが発生するがしかし行き易いということは起こらない」ということは誤っている fact5: もし「甘ーいということが起こるが行き易いということは発生しない」ということは成り立つということはないならぽにょぽいLv.37事件が生じる fact6: 「ぽにょぽいLv.37事件が発生する」ということは甘ーいということは発生しないということに引き起こされる ; $hypothesis$ = ぽにょぽいLv.37事件が起こる ; $proof$ = 
fact3 -> int1: わりないということが起きる; int1 -> int2: 御安いということが生じるかまたはわりないということが起こるかあるいは両方ともである; int2 & fact2 -> int3: 合わせ易いということは起きない; int3 & fact4 -> int4: 「甘ーいということが起きる一方で行き易いということは生じない」ということは成り立たない; int4 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> int3: ¬{D}; int3 & fact4 -> int4: ¬({E} & ¬{F}); int4 & fact5 -> hypothesis; __PROVED__