まちょまねLv.19事件が発生する
fact1: 疲れ易いということおよびまやまのLv.64事件両方ともが起こる fact2: 疲れ易いということが生じる fact3: 「まちょまねLv.19事件は起きない」ということは「「物らしいということかあるいは広がり始めることか両方が起きる」ということは本当だ」ということが契機だ fact4: まやまのLv.64事件は物らしいということは発生しないということを阻止する fact5: まちょまねLv.19事件は「広がり始めることが起きる」ということに阻止される
fact1 -> int1: まやまのLv.64事件が発生する; fact4 & int1 -> int2: 物らしいということが生じる; int2 -> int3: 物らしいということが生じるか広がり始めることが発生する; int3 & fact3 -> hypothesis;
fact1 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 疲れ易いということおよびまやまのLv.64事件両方ともが起こる fact2: 疲れ易いということが生じる fact3: 「まちょまねLv.19事件は起きない」ということは「「物らしいということかあるいは広がり始めることか両方が起きる」ということは本当だ」ということが契機だ fact4: まやまのLv.64事件は物らしいということは発生しないということを阻止する fact5: まちょまねLv.19事件は「広がり始めることが起きる」ということに阻止される ; $hypothesis$ = まちょまねLv.19事件が発生する ; $proof$ = 
fact1 -> int1: まやまのLv.64事件が発生する; fact4 & int1 -> int2: 物らしいということが生じる; int2 -> int3: 物らしいということが生じるか広がり始めることが発生する; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 -> int3: ({B} v {C}); int3 & fact3 -> hypothesis; __DISPROVED__