深いということは生じない
fact1: 鼓吹することが起きる fact2: 「大人らしいということは起きない」ということは「ものもくLv.54事件が発生する」ということに起因する fact3: 「ぷねぷねLv.45事件が発生するしまた深いということが生じる」ということは大人らしいということは生じないということにより生じる fact4: 「ものもくLv.54事件は起きない」ということは重いということに阻止される fact5: 重いということが起きるしまた鼓吹することが発生する
fact5 -> int1: 重いということが発生する; int1 & fact4 -> int2: 「ものもくLv.54事件が生じる」ということは本当だ; int2 & fact2 -> int3: 大人らしいということは発生しない; int3 & fact3 -> int4: ぷねぷねLv.45事件が起こるし深いということが起きる; int4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> int4: ({E} & {F}); int4 -> hypothesis;
$facts$ = fact1: 鼓吹することが起きる fact2: 「大人らしいということは起きない」ということは「ものもくLv.54事件が発生する」ということに起因する fact3: 「ぷねぷねLv.45事件が発生するしまた深いということが生じる」ということは大人らしいということは生じないということにより生じる fact4: 「ものもくLv.54事件は起きない」ということは重いということに阻止される fact5: 重いということが起きるしまた鼓吹することが発生する ; $hypothesis$ = 深いということは生じない ; $proof$ = 
fact5 -> int1: 重いということが発生する; int1 & fact4 -> int2: 「ものもくLv.54事件が生じる」ということは本当だ; int2 & fact2 -> int3: 大人らしいということは発生しない; int3 & fact3 -> int4: ぷねぷねLv.45事件が起こるし深いということが起きる; int4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> int4: ({E} & {F}); int4 -> hypothesis; __DISPROVED__