以下のように仮定する。憎たらしいということが起きる
fact1: 大きいということは憎たらしいということおよび危ないということが起こるに阻まれる fact2: 仮に持ち難いということは発生しないとすると「大きいということではなくて危ないということが起こる」ということは成り立たない fact3: 危ないということが発生する fact4: ぴくぴくLv.22事件は発生しないということは「ぷちゃぷにゅLv.47事件とぼろいということ両方ともが発生する」ということを引き起こす fact5: ぼろいということが起こるがしかし御寂しいということは起きないならば持ち難いということは発生しない
void -> assump1: 以下のように仮定する。憎たらしいということが起きる; assump1 & fact3 -> int1: 憎たらしいということが起こるし危ないということが起きる; int1 & fact1 -> int2: 大きいということは起こらない;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C};
以下のように仮定する。憎たらしいということが起きる
$facts$ = fact1: 大きいということは憎たらしいということおよび危ないということが起こるに阻まれる fact2: 仮に持ち難いということは発生しないとすると「大きいということではなくて危ないということが起こる」ということは成り立たない fact3: 危ないということが発生する fact4: ぴくぴくLv.22事件は発生しないということは「ぷちゃぷにゅLv.47事件とぼろいということ両方ともが発生する」ということを引き起こす fact5: ぼろいということが起こるがしかし御寂しいということは起きないならば持ち難いということは発生しない ; $hypothesis$ = 以下のように仮定する。憎たらしいということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__