「違いということは生じない」ということは確かだ
fact1: 敢え無いということが起きる fact2: 転げ落ちることが起きるししかもぴいぴよLv.89事件が発生する fact3: 活動し難いということが起きる fact4: 転げ落ちることが生じる fact5: ぴいぴよLv.89事件と活動し難いということが起こるは違いということを防ぐ fact6: 「転げ落ちることが発生するし委任することが起きる」ということはぴいぴよLv.89事件は発生しないということに由来する fact7: 「ぽゆぽえLv.40事件が生じる」ということは事実だ
fact2 -> int1: 「ぴいぴよLv.89事件が起こる」ということは成り立つ; int1 & fact3 -> int2: ぴいぴよLv.89事件が生じるし活動し難いということが起きる; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
委任することが生じる
$facts$ = fact1: 敢え無いということが起きる fact2: 転げ落ちることが起きるししかもぴいぴよLv.89事件が発生する fact3: 活動し難いということが起きる fact4: 転げ落ちることが生じる fact5: ぴいぴよLv.89事件と活動し難いということが起こるは違いということを防ぐ fact6: 「転げ落ちることが発生するし委任することが起きる」ということはぴいぴよLv.89事件は発生しないということに由来する fact7: 「ぽゆぽえLv.40事件が生じる」ということは事実だ ; $hypothesis$ = 「違いということは生じない」ということは確かだ ; $proof$ = 
fact2 -> int1: 「ぴいぴよLv.89事件が起こる」ということは成り立つ; int1 & fact3 -> int2: ぴいぴよLv.89事件が生じるし活動し難いということが起きる; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__