動かし難いということは起きない
fact1: ぴくぴちゅLv.63事件は起こらないということは「ごついということは起きないしその上当て始めることは起きない」ということを発生させる fact2: 仮に重いということが生じるし加えてごついということが生じるとすると動かし難いということは生じない fact3: 「ごついということは生じない」ということは「重いということおよび動かし難いということが発生する」ということに帰結する fact4: 「ごついということは生じない」ということは成り立たない fact5: 重いということが起きる fact6: もしも「ぴくぴちゅLv.63事件および寝返ること両方が起きる」ということは誤っているならぴくぴちゅLv.63事件は起こらない
fact5 & fact4 -> int1: 重いということおよびごついということが起きる; int1 & fact2 -> hypothesis;
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
動かし難いということが起こる
$facts$ = fact1: ぴくぴちゅLv.63事件は起こらないということは「ごついということは起きないしその上当て始めることは起きない」ということを発生させる fact2: 仮に重いということが生じるし加えてごついということが生じるとすると動かし難いということは生じない fact3: 「ごついということは生じない」ということは「重いということおよび動かし難いということが発生する」ということに帰結する fact4: 「ごついということは生じない」ということは成り立たない fact5: 重いということが起きる fact6: もしも「ぴくぴちゅLv.63事件および寝返ること両方が起きる」ということは誤っているならぴくぴちゅLv.63事件は起こらない ; $hypothesis$ = 動かし難いということは起きない ; $proof$ = 
fact5 & fact4 -> int1: 重いということおよびごついということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__