「みくみにゅLv.83事件が起きる」ということは確かである
fact1: 木らしいということが生じるということかあるいはみちょみちゃLv.19事件かあるいは両方は「ぽにぽえLv.72事件は発生しない」ということに引き起こされる fact2: 「でかいということおよびもわもちゃLv.34事件両方ともが発生する」ということはみくみにゅLv.83事件は起きないということを発生させる fact3: もわもちゃLv.34事件が発生する fact4: ぽにぽえLv.72事件は起こらない fact5: 木らしいということはでかいということは起こらないということを防ぐ fact6: みちょみちゃLv.19事件はでかいということは起こらないということを阻む
fact4 & fact1 -> int1: 木らしいということが起こるかみちょみちゃLv.19事件が起こるかもしくは両方だ; int1 & fact5 & fact6 -> int2: でかいということが生じる; int2 & fact3 -> int3: でかいということおよびもわもちゃLv.34事件が発生する; int3 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ({A} v {B}); int1 & fact5 & fact6 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 木らしいということが生じるということかあるいはみちょみちゃLv.19事件かあるいは両方は「ぽにぽえLv.72事件は発生しない」ということに引き起こされる fact2: 「でかいということおよびもわもちゃLv.34事件両方ともが発生する」ということはみくみにゅLv.83事件は起きないということを発生させる fact3: もわもちゃLv.34事件が発生する fact4: ぽにぽえLv.72事件は起こらない fact5: 木らしいということはでかいということは起こらないということを防ぐ fact6: みちょみちゃLv.19事件はでかいということは起こらないということを阻む ; $hypothesis$ = 「みくみにゅLv.83事件が起きる」ということは確かである ; $proof$ = 
fact4 & fact1 -> int1: 木らしいということが起こるかみちょみちゃLv.19事件が起こるかもしくは両方だ; int1 & fact5 & fact6 -> int2: でかいということが生じる; int2 & fact3 -> int3: でかいということおよびもわもちゃLv.34事件が発生する; int3 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ({A} v {B}); int1 & fact5 & fact6 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact2 -> hypothesis; __DISPROVED__