もにもちゃLv.98事件が起こる
fact1: みなみくLv.11事件が生じる fact2: 「もくもにLv.68事件が生じるしまた使い辛いということが起きる」ということは「ぴねぴねLv.86事件は起きない」ということを招く fact3: 揺るぎないということは「ぴねぴねLv.86事件は発生するがしかしものもなLv.6事件は起きない」ということのきっかけとなる fact4: 「使い辛いということが起きる」ということは本当である fact5: 程無いということが発生する fact6: もにもちゃLv.98事件は発生しないということは「ぴねぴねLv.86事件は発生しない」ということに由来する fact7: 広しということは「もくもにLv.68事件が起こる」ということを生じさせる fact8: 広しということは発生しないということはみなみくLv.11事件に阻まれる
fact8 & fact1 -> int1: 広しということが起こる; int1 & fact7 -> int2: もくもにLv.68事件が起きる; int2 & fact4 -> int3: もくもにLv.68事件と使い辛いということが起きる; int3 & fact2 -> int4: ぴねぴねLv.86事件は起こらない; int4 & fact6 -> hypothesis;
fact8 & fact1 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact6 -> hypothesis;
もにもちゃLv.98事件が起こる
$facts$ = fact1: みなみくLv.11事件が生じる fact2: 「もくもにLv.68事件が生じるしまた使い辛いということが起きる」ということは「ぴねぴねLv.86事件は起きない」ということを招く fact3: 揺るぎないということは「ぴねぴねLv.86事件は発生するがしかしものもなLv.6事件は起きない」ということのきっかけとなる fact4: 「使い辛いということが起きる」ということは本当である fact5: 程無いということが発生する fact6: もにもちゃLv.98事件は発生しないということは「ぴねぴねLv.86事件は発生しない」ということに由来する fact7: 広しということは「もくもにLv.68事件が起こる」ということを生じさせる fact8: 広しということは発生しないということはみなみくLv.11事件に阻まれる ; $hypothesis$ = もにもちゃLv.98事件が起こる ; $proof$ = 
fact8 & fact1 -> int1: 広しということが起こる; int1 & fact7 -> int2: もくもにLv.68事件が起きる; int2 & fact4 -> int3: もくもにLv.68事件と使い辛いということが起きる; int3 & fact2 -> int4: ぴねぴねLv.86事件は起こらない; int4 & fact6 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact6 -> hypothesis; __DISPROVED__