縁遠いということが起きるか買い易いということが起きる
fact1: もしも逼塞することが起こるとしたらもいもちゃLv.9事件が起きる fact2: 馬鹿でかいということが起こる fact3: 「みやみゆLv.36事件が起こるがしかし物らしいということは発生しない」ということは「馬鹿でかいということは起きない」ということが原因である fact4: みやみゆLv.36事件は生じないということは「物らしいということが生じる」ということに阻まれる fact5: 仮に物らしいということは起きないならば「「縁遠いということか買い易いということが発生する」ということは嘘である」ということは成り立つ fact6: 物らしいということおよび馬鹿でかいということ両方が起きる fact7: 「買い易いということは起きない」ということはみやみゆLv.36事件に阻まれる
fact6 -> int1: 物らしいということが起きる; fact4 & int1 -> int2: みやみゆLv.36事件が発生する; int2 & fact7 -> int3: 買い易いということが起こる; int3 -> hypothesis;
fact6 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 -> hypothesis;
「「縁遠いということが起きるかもしくは買い易いということが起きる」ということは嘘だ」ということは事実だ
$facts$ = fact1: もしも逼塞することが起こるとしたらもいもちゃLv.9事件が起きる fact2: 馬鹿でかいということが起こる fact3: 「みやみゆLv.36事件が起こるがしかし物らしいということは発生しない」ということは「馬鹿でかいということは起きない」ということが原因である fact4: みやみゆLv.36事件は生じないということは「物らしいということが生じる」ということに阻まれる fact5: 仮に物らしいということは起きないならば「「縁遠いということか買い易いということが発生する」ということは嘘である」ということは成り立つ fact6: 物らしいということおよび馬鹿でかいということ両方が起きる fact7: 「買い易いということは起きない」ということはみやみゆLv.36事件に阻まれる ; $hypothesis$ = 縁遠いということが起きるか買い易いということが起きる ; $proof$ = 
fact6 -> int1: 物らしいということが起きる; fact4 & int1 -> int2: みやみゆLv.36事件が発生する; int2 & fact7 -> int3: 買い易いということが起こる; int3 -> hypothesis; __PROVED__
fact6 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 -> hypothesis; __PROVED__