まにまちょLv.46事件が起きる
fact1: 使用し易いということが生じるしそれに温かいということが発生する fact2: 薄青いということはみえみわLv.46事件を発生させる fact3: まにまちょLv.46事件は「みえみわLv.46事件が生じるかもしくは捕らわれ易いということが生じるか両方である」ということに阻まれる fact4: 薄青いということは使用し易いということにもたらされる
fact1 -> int1: 使用し易いということが起こる; int1 & fact4 -> int2: 薄青いということが生じる; int2 & fact2 -> int3: みえみわLv.46事件が生じる; int3 -> int4: みえみわLv.46事件かまたは捕らわれ易いということかまたは両方ともが起こる; int4 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 -> int4: ({D} v {E}); int4 & fact3 -> hypothesis;
$facts$ = fact1: 使用し易いということが生じるしそれに温かいということが発生する fact2: 薄青いということはみえみわLv.46事件を発生させる fact3: まにまちょLv.46事件は「みえみわLv.46事件が生じるかもしくは捕らわれ易いということが生じるか両方である」ということに阻まれる fact4: 薄青いということは使用し易いということにもたらされる ; $hypothesis$ = まにまちょLv.46事件が起きる ; $proof$ = 
fact1 -> int1: 使用し易いということが起こる; int1 & fact4 -> int2: 薄青いということが生じる; int2 & fact2 -> int3: みえみわLv.46事件が生じる; int3 -> int4: みえみわLv.46事件かまたは捕らわれ易いということかまたは両方ともが起こる; int4 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 -> int4: ({D} v {E}); int4 & fact3 -> hypothesis; __DISPROVED__