浅ましいということが起こる
fact1: 「浅ましいということは起こらない」ということは気忙しいということとぽにょぽにゃLv.8事件が起こるが契機だ fact2: 「気忙しいということが起きる」ということは成り立つ fact3: 骨っぽいということが発生するしかつぽにゅぽねLv.36事件が起きる fact4: 「ぽにょぽにゃLv.8事件は起きない」ということはぽにゅぽねLv.36事件に防がれる
fact3 -> int1: ぽにゅぽねLv.36事件が起きる; int1 & fact4 -> int2: ぽにょぽにゃLv.8事件が生じる; int2 & fact2 -> int3: 気忙しいということとぽにょぽにゃLv.8事件両方が起きる; int3 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: ({D} & {C}); int3 & fact1 -> hypothesis;
$facts$ = fact1: 「浅ましいということは起こらない」ということは気忙しいということとぽにょぽにゃLv.8事件が起こるが契機だ fact2: 「気忙しいということが起きる」ということは成り立つ fact3: 骨っぽいということが発生するしかつぽにゅぽねLv.36事件が起きる fact4: 「ぽにょぽにゃLv.8事件は起きない」ということはぽにゅぽねLv.36事件に防がれる ; $hypothesis$ = 浅ましいということが起こる ; $proof$ = 
fact3 -> int1: ぽにゅぽねLv.36事件が起きる; int1 & fact4 -> int2: ぽにょぽにゃLv.8事件が生じる; int2 & fact2 -> int3: 気忙しいということとぽにょぽにゃLv.8事件両方が起きる; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: ({D} & {C}); int3 & fact1 -> hypothesis; __DISPROVED__