動くことは生じない
fact1: 「運悪いということが生じる」ということは成り立つ fact2: ぽちょぽにゃLv.64事件が生じれば微笑ましいということは生じないしさらに運悪いということは生じない fact3: 「微笑ましいということが発生するしその上運悪いということが起きる」ということは動くことを阻む fact4: もし仮に微笑ましいということは生じないなら「動くことが起こるしペーストすることが生じる」ということは正しい fact5: ペーストすることが発生するしそれに微笑ましいということが起きる fact6: 「早しということが発生する」ということは真実だ
fact5 -> int1: 「微笑ましいということが起きる」ということは本当だ; int1 & fact1 -> int2: 微笑ましいということが起きるしかつ運悪いということが起こる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
動くことが起きる
$facts$ = fact1: 「運悪いということが生じる」ということは成り立つ fact2: ぽちょぽにゃLv.64事件が生じれば微笑ましいということは生じないしさらに運悪いということは生じない fact3: 「微笑ましいということが発生するしその上運悪いということが起きる」ということは動くことを阻む fact4: もし仮に微笑ましいということは生じないなら「動くことが起こるしペーストすることが生じる」ということは正しい fact5: ペーストすることが発生するしそれに微笑ましいということが起きる fact6: 「早しということが発生する」ということは真実だ ; $hypothesis$ = 動くことは生じない ; $proof$ = 
fact5 -> int1: 「微笑ましいということが起きる」ということは本当だ; int1 & fact1 -> int2: 微笑ましいということが起きるしかつ運悪いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__