「痛ましいということおよび久しということ両方ともが起こる」ということは成り立たない
fact1: 「ぽくぽちゅLv.77事件および名残惜しいということ両方が発生する」ということは正しい fact2: 仮に後進することが起きればまにまにゃLv.30事件は発生する fact3: もし仮に胡散臭いということは生じないなら柔らかいということは起きなくてさらにみちゃみやLv.39事件は発生しない fact4: 仮に柔らかいということが発生するとすると久しということが起きる fact5: ぷくぷいLv.45事件が起きる fact6: 痛ましいということが起こる fact7: 柔らかいということが生じる fact8: 仮に柔らかいということは起きないとしたら「痛ましいということが起こるし更に久しということが起きる」ということは成り立たない
fact4 & fact7 -> int1: 久しということが発生する; int1 & fact6 -> hypothesis;
fact4 & fact7 -> int1: {B}; int1 & fact6 -> hypothesis;
「痛ましいということおよび久しということ両方ともが起こる」ということは成り立たない
$facts$ = fact1: 「ぽくぽちゅLv.77事件および名残惜しいということ両方が発生する」ということは正しい fact2: 仮に後進することが起きればまにまにゃLv.30事件は発生する fact3: もし仮に胡散臭いということは生じないなら柔らかいということは起きなくてさらにみちゃみやLv.39事件は発生しない fact4: 仮に柔らかいということが発生するとすると久しということが起きる fact5: ぷくぷいLv.45事件が起きる fact6: 痛ましいということが起こる fact7: 柔らかいということが生じる fact8: 仮に柔らかいということは起きないとしたら「痛ましいということが起こるし更に久しということが起きる」ということは成り立たない ; $hypothesis$ = 「痛ましいということおよび久しということ両方ともが起こる」ということは成り立たない ; $proof$ = 
fact4 & fact7 -> int1: 久しということが発生する; int1 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact7 -> int1: {B}; int1 & fact6 -> hypothesis; __DISPROVED__