飛行機らしいということは起こらない
fact1: バランス良いということが発生するし赤黒いということが生じる fact2: みにみちゅLv.57事件が起きる fact3: もし仮に赤黒いということは起こらないならば飛行機らしいということが生じるしまたバランス良いということが起きる fact4: もしも赤黒いということは起きないならバランス良いということおよび下放することが生じる fact5: 飛行機らしいということが起こるということは「収監することおよびみにみちゅLv.57事件両方ともが起きる」ということに阻止される fact6: 「バランス良いということが発生する」ということは収監することのきっかけとなる
fact1 -> int1: バランス良いということが起きる; int1 & fact6 -> int2: 収監することが起こる; int2 & fact2 -> int3: 収監することおよびみにみちゅLv.57事件どちらもが発生する; int3 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact2 -> int3: ({C} & {D}); int3 & fact5 -> hypothesis;
下放することが起こる
$facts$ = fact1: バランス良いということが発生するし赤黒いということが生じる fact2: みにみちゅLv.57事件が起きる fact3: もし仮に赤黒いということは起こらないならば飛行機らしいということが生じるしまたバランス良いということが起きる fact4: もしも赤黒いということは起きないならバランス良いということおよび下放することが生じる fact5: 飛行機らしいということが起こるということは「収監することおよびみにみちゅLv.57事件両方ともが起きる」ということに阻止される fact6: 「バランス良いということが発生する」ということは収監することのきっかけとなる ; $hypothesis$ = 飛行機らしいということは起こらない ; $proof$ = 
fact1 -> int1: バランス良いということが起きる; int1 & fact6 -> int2: 収監することが起こる; int2 & fact2 -> int3: 収監することおよびみにみちゅLv.57事件どちらもが発生する; int3 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact2 -> int3: ({C} & {D}); int3 & fact5 -> hypothesis; __PROVED__