ネイティブらしいということが発生する
fact1: もしもちょもにゃLv.99事件が生じるとすれば活動し易いということが起こるがまちゅまにLv.63事件は発生しない fact2: 仮に合併し易いということは起きないならば安っぽいということと考え難いということ両方ともが起こる fact3: もしも「上げ易いということは発生しないがしかし合併し易いということが生じる」ということは成り立たないならば合併し易いということは発生しない fact4: 格好良いということは生じないということはみやみちゅLv.77事件に阻止される fact5: みやみちゅLv.77事件が発生する fact6: 安っぽいということはもちょもにゃLv.99事件は起こらないということを阻止する fact7: ネイティブらしいということは起こらないということは「まにょまのLv.45事件が発生するししかも格好良いということが起きる」ということにより発生する fact8: 仮にまちゅまにLv.63事件は起こらないとすると「まにょまのLv.45事件ではなくネイティブらしいということが発生する」ということは成り立たない fact9: まにょまのLv.45事件が発生する
fact4 & fact5 -> int1: 「格好良いということが生じる」ということは真実である; int1 & fact9 -> int2: まにょまのLv.45事件および格好良いということが起きる; int2 & fact7 -> hypothesis;
fact4 & fact5 -> int1: {B}; int1 & fact9 -> int2: ({C} & {B}); int2 & fact7 -> hypothesis;
登山家らしいということが起きる
$facts$ = fact1: もしもちょもにゃLv.99事件が生じるとすれば活動し易いということが起こるがまちゅまにLv.63事件は発生しない fact2: 仮に合併し易いということは起きないならば安っぽいということと考え難いということ両方ともが起こる fact3: もしも「上げ易いということは発生しないがしかし合併し易いということが生じる」ということは成り立たないならば合併し易いということは発生しない fact4: 格好良いということは生じないということはみやみちゅLv.77事件に阻止される fact5: みやみちゅLv.77事件が発生する fact6: 安っぽいということはもちょもにゃLv.99事件は起こらないということを阻止する fact7: ネイティブらしいということは起こらないということは「まにょまのLv.45事件が発生するししかも格好良いということが起きる」ということにより発生する fact8: 仮にまちゅまにLv.63事件は起こらないとすると「まにょまのLv.45事件ではなくネイティブらしいということが発生する」ということは成り立たない fact9: まにょまのLv.45事件が発生する ; $hypothesis$ = ネイティブらしいということが発生する ; $proof$ = 
fact4 & fact5 -> int1: 「格好良いということが生じる」ということは真実である; int1 & fact9 -> int2: まにょまのLv.45事件および格好良いということが起きる; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}; int1 & fact9 -> int2: ({C} & {B}); int2 & fact7 -> hypothesis; __DISPROVED__