ぷにぷなLv.80事件が生じる
fact1: ぷやぷにょLv.42事件が起きるし働き難いということが発生する fact2: もし働き難いということは発生しないなら太いということが発生するしまたぷやぷにょLv.42事件が生じる fact3: 「認め難いということが発生する」ということは「ぽやぽよLv.51事件は起きなくて加えて本当らしいということは生じない」ということに帰結する fact4: みちゅみえLv.53事件が発生する fact5: 「広しということが生じる」ということは確かである fact6: もしぽやぽよLv.51事件は生じないとすると「ぷにぷなLv.80事件は起こらないかあるいはわりないということは起こらない」ということは偽である fact7: 「ぷやぷにょLv.42事件が生じる」ということは「わりないということは起こらない」ということを防ぐ fact8: わりないということは「ぷにぷなLv.80事件は発生しない」ということを阻止する
fact1 -> int1: ぷやぷにょLv.42事件が発生する; int1 & fact7 -> int2: わりないということが起きる; int2 & fact8 -> hypothesis;
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact8 -> hypothesis;
太いということが生じる
$facts$ = fact1: ぷやぷにょLv.42事件が起きるし働き難いということが発生する fact2: もし働き難いということは発生しないなら太いということが発生するしまたぷやぷにょLv.42事件が生じる fact3: 「認め難いということが発生する」ということは「ぽやぽよLv.51事件は起きなくて加えて本当らしいということは生じない」ということに帰結する fact4: みちゅみえLv.53事件が発生する fact5: 「広しということが生じる」ということは確かである fact6: もしぽやぽよLv.51事件は生じないとすると「ぷにぷなLv.80事件は起こらないかあるいはわりないということは起こらない」ということは偽である fact7: 「ぷやぷにょLv.42事件が生じる」ということは「わりないということは起こらない」ということを防ぐ fact8: わりないということは「ぷにぷなLv.80事件は発生しない」ということを阻止する ; $hypothesis$ = ぷにぷなLv.80事件が生じる ; $proof$ = 
fact1 -> int1: ぷやぷにょLv.42事件が発生する; int1 & fact7 -> int2: わりないということが起きる; int2 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact8 -> hypothesis; __PROVED__