「「面白おかしいということが起きるし御濃いということが起きる」ということは確かだ」ということは誤っている
fact1: 長しということが発生する fact2: 強しということは生じないということは「予選することと長しということが生じる」ということに引き起こされる fact3: 「ぷにゅぷのLv.71事件は起きない」ということは「もにゃもちゃLv.28事件が発生するし見え易いということは発生する」ということに起因する fact4: 御濃いということが起きる fact5: もし仮に「華々しいということは発生するし急かせることは生じない」ということは成り立たないとすれば面白おかしいということが生じる fact6: 仮に強しということは起こらないとすれば「華々しいということが起きるし急かせることは生じない」ということは間違いだ fact7: 予選することが発生する
fact7 & fact1 -> int1: 予選することが起こるしかつ長しということが起こる; int1 & fact2 -> int2: 強しということは起きない; int2 & fact6 -> int3: 「華々しいということが発生する一方で急かせることは生じない」ということは事実であるということはない; int3 & fact5 -> int4: 面白おかしいということが起こる; int4 & fact4 -> hypothesis;
fact7 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact6 -> int3: ¬({E} & ¬{D}); int3 & fact5 -> int4: {F}; int4 & fact4 -> hypothesis;
$facts$ = fact1: 長しということが発生する fact2: 強しということは生じないということは「予選することと長しということが生じる」ということに引き起こされる fact3: 「ぷにゅぷのLv.71事件は起きない」ということは「もにゃもちゃLv.28事件が発生するし見え易いということは発生する」ということに起因する fact4: 御濃いということが起きる fact5: もし仮に「華々しいということは発生するし急かせることは生じない」ということは成り立たないとすれば面白おかしいということが生じる fact6: 仮に強しということは起こらないとすれば「華々しいということが起きるし急かせることは生じない」ということは間違いだ fact7: 予選することが発生する ; $hypothesis$ = 「「面白おかしいということが起きるし御濃いということが起きる」ということは確かだ」ということは誤っている ; $proof$ = 
fact7 & fact1 -> int1: 予選することが起こるしかつ長しということが起こる; int1 & fact2 -> int2: 強しということは起きない; int2 & fact6 -> int3: 「華々しいということが発生する一方で急かせることは生じない」ということは事実であるということはない; int3 & fact5 -> int4: 面白おかしいということが起こる; int4 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact6 -> int3: ¬({E} & ¬{D}); int3 & fact5 -> int4: {F}; int4 & fact4 -> hypothesis; __DISPROVED__