すばしっこいということが生じる
fact1: 服すことおよびまにまちょLv.51事件が起こる fact2: もし「標識することは発生しなくてすばしっこいということは起こらない」ということは嘘ならばすばしっこいということが起きる fact3: 偏り易いということは起きないということは「管理し易いということは起こらない一方でまゆまちゅLv.49事件が起きる」ということに引き起こされる fact4: 拝跪することおよび服すことが起きるはまにまちょLv.51事件が生じないということは契機だ fact5: すばしっこいということは生じないということは服すことか嗅ぎ分けることかもしくは両方が契機である fact6: もしも偏り易いということは起きないならば「標識することは生じないしおまけにすばしっこいということは起きない」ということは誤っている
fact1 -> int1: 服すことが起こる; int1 -> int2: 服すことかまたは嗅ぎ分けることかまたは両方が生じる; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact5 -> hypothesis;
捗々しいということが起こるかあるいは拝跪することが生じるか両方である
$facts$ = fact1: 服すことおよびまにまちょLv.51事件が起こる fact2: もし「標識することは発生しなくてすばしっこいということは起こらない」ということは嘘ならばすばしっこいということが起きる fact3: 偏り易いということは起きないということは「管理し易いということは起こらない一方でまゆまちゅLv.49事件が起きる」ということに引き起こされる fact4: 拝跪することおよび服すことが起きるはまにまちょLv.51事件が生じないということは契機だ fact5: すばしっこいということは生じないということは服すことか嗅ぎ分けることかもしくは両方が契機である fact6: もしも偏り易いということは起きないならば「標識することは生じないしおまけにすばしっこいということは起きない」ということは誤っている ; $hypothesis$ = すばしっこいということが生じる ; $proof$ = 
fact1 -> int1: 服すことが起こる; int1 -> int2: 服すことかまたは嗅ぎ分けることかまたは両方が生じる; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact5 -> hypothesis; __DISPROVED__