力無いということが起きる
fact1: ぷにゅぷにゅLv.34事件は嵌まることおよび君らしいということが起こるに防がれる fact2: 重しということが発生する fact3: 「生々しいということは発生しない」ということはまいまなLv.26事件と重しということが起きるを招く fact4: 勝ち残ることが起こるしおまけにあくどいということが発生する fact5: 力無いということは勝ち残ることおよび重しということが発生するに阻止される
fact4 -> int1: 「勝ち残ることが起きる」ということは確かだ; int1 & fact2 -> int2: 勝ち残ることが起こるしその上重しということが起きる; int2 & fact5 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis;
まいまなLv.26事件と狙い難いということ両方が起こる
$facts$ = fact1: ぷにゅぷにゅLv.34事件は嵌まることおよび君らしいということが起こるに防がれる fact2: 重しということが発生する fact3: 「生々しいということは発生しない」ということはまいまなLv.26事件と重しということが起きるを招く fact4: 勝ち残ることが起こるしおまけにあくどいということが発生する fact5: 力無いということは勝ち残ることおよび重しということが発生するに阻止される ; $hypothesis$ = 力無いということが起きる ; $proof$ = 
fact4 -> int1: 「勝ち残ることが起きる」ということは確かだ; int1 & fact2 -> int2: 勝ち残ることが起こるしその上重しということが起きる; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis; __DISPROVED__