吊り易いということが生じる
fact1: 吊り易いということは「みにゅみちょLv.94事件と怪しいということが生じる」ということに防がれる fact2: 怪しいということが発生する fact3: 「見上げることが起こるし更に矛盾することが起きる」ということは薄っぺらいということは発生しないということを生じさせる fact4: ぴにぴなLv.74事件とみにゅみちょLv.94事件どちらもが起こる fact5: もし仮に「矛盾することは起こらない」ということは間違いでないとしたらみにゅみちょLv.94事件が発生するかもしくは怪しいということが生じる fact6: 「ぴにぴなLv.74事件が発生する」ということは成り立つ
fact4 -> int1: みにゅみちょLv.94事件が起きる; int1 & fact2 -> int2: みにゅみちょLv.94事件および怪しいということ両方が起きる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
吊り易いということが生じる
$facts$ = fact1: 吊り易いということは「みにゅみちょLv.94事件と怪しいということが生じる」ということに防がれる fact2: 怪しいということが発生する fact3: 「見上げることが起こるし更に矛盾することが起きる」ということは薄っぺらいということは発生しないということを生じさせる fact4: ぴにぴなLv.74事件とみにゅみちょLv.94事件どちらもが起こる fact5: もし仮に「矛盾することは起こらない」ということは間違いでないとしたらみにゅみちょLv.94事件が発生するかもしくは怪しいということが生じる fact6: 「ぴにぴなLv.74事件が発生する」ということは成り立つ ; $hypothesis$ = 吊り易いということが生じる ; $proof$ = 
fact4 -> int1: みにゅみちょLv.94事件が起きる; int1 & fact2 -> int2: みにゅみちょLv.94事件および怪しいということ両方が起きる; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__