「麗しということが起きるし現われ易いということが起こる」ということは間違いである
fact1: みちょみにゃLv.62事件は発生しないということは心優しいということが起きるということに防がれる fact2: 重視すことが発生する fact3: 仮に心優しいということは起きないとすれば「麗しということおよび現われ易いということが生じる」ということは間違っている fact4: みちょみにゃLv.62事件が見境無いということは原因だ fact5: 麗しということは発生しないということはみちょみにゃLv.62事件に阻まれる fact6: もしも麗しということは発生しないとすると「見境無いということが生じるしおまけにみちょみにゃLv.62事件が起こる」ということは事実と異なる fact7: ぽいぽにゅLv.91事件は生じない fact8: 仮にぽいぽにゅLv.91事件は生じないとしたら「心優しいということかまたは見境無いということが生じる」ということは成り立つ fact9: もし仮に見境無いということが起きる一方でみちょみにゃLv.62事件は起きないとすれば「心優しいということが発生する」ということは成り立つということはない fact10: 現われ易いということが起こる
fact7 & fact8 -> int1: 心優しいということか見境無いということかまたは両方ともが発生する; int1 & fact1 & fact4 -> int2: みちょみにゃLv.62事件が起きる; int2 & fact5 -> int3: 麗しということが発生する; int3 & fact10 -> hypothesis;
fact7 & fact8 -> int1: ({A} v {B}); int1 & fact1 & fact4 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact10 -> hypothesis;
すばしこいということが起きる
$facts$ = fact1: みちょみにゃLv.62事件は発生しないということは心優しいということが起きるということに防がれる fact2: 重視すことが発生する fact3: 仮に心優しいということは起きないとすれば「麗しということおよび現われ易いということが生じる」ということは間違っている fact4: みちょみにゃLv.62事件が見境無いということは原因だ fact5: 麗しということは発生しないということはみちょみにゃLv.62事件に阻まれる fact6: もしも麗しということは発生しないとすると「見境無いということが生じるしおまけにみちょみにゃLv.62事件が起こる」ということは事実と異なる fact7: ぽいぽにゅLv.91事件は生じない fact8: 仮にぽいぽにゅLv.91事件は生じないとしたら「心優しいということかまたは見境無いということが生じる」ということは成り立つ fact9: もし仮に見境無いということが起きる一方でみちょみにゃLv.62事件は起きないとすれば「心優しいということが発生する」ということは成り立つということはない fact10: 現われ易いということが起こる ; $hypothesis$ = 「麗しということが起きるし現われ易いということが起こる」ということは間違いである ; $proof$ = 
fact7 & fact8 -> int1: 心優しいということか見境無いということかまたは両方ともが発生する; int1 & fact1 & fact4 -> int2: みちょみにゃLv.62事件が起きる; int2 & fact5 -> int3: 麗しということが発生する; int3 & fact10 -> hypothesis; __DISPROVED__
fact7 & fact8 -> int1: ({A} v {B}); int1 & fact1 & fact4 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact10 -> hypothesis; __DISPROVED__