ぷにゃぷやLv.54事件が起きる
fact1: 「大差無いということが発生するかもしくは値引きすることは発生する」ということは「疲れ難いということは起きない」ということが原因だ fact2: 「対決することおよびみちゅみちゅLv.18事件両方が起こる」ということは真実だ fact3: みちゅみちゅLv.18事件が生じる fact4: 対決することおよびぽにょぽえLv.3事件が起きるは疲れ難いということを阻止する fact5: もしすっごーいということは起きないとするとまにゅまちょLv.11事件かぽよぽえLv.89事件かまたはどちらもが発生する fact6: ぽにょぽえLv.3事件が起きる fact7: 値引きすることはぷにゃぷやLv.54事件を引き起こす fact8: 大差無いということはぷにゃぷやLv.54事件に帰結する
fact2 -> int1: 対決することが生じる; int1 & fact6 -> int2: 対決することが生じるしぽにょぽえLv.3事件が発生する; int2 & fact4 -> int3: 疲れ難いということは起きない; int3 & fact1 -> int4: 大差無いということかまたは値引きすることが起きる; int4 & fact8 & fact7 -> hypothesis;
fact2 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact4 -> int3: ¬{D}; int3 & fact1 -> int4: ({F} v {E}); int4 & fact8 & fact7 -> hypothesis;
$facts$ = fact1: 「大差無いということが発生するかもしくは値引きすることは発生する」ということは「疲れ難いということは起きない」ということが原因だ fact2: 「対決することおよびみちゅみちゅLv.18事件両方が起こる」ということは真実だ fact3: みちゅみちゅLv.18事件が生じる fact4: 対決することおよびぽにょぽえLv.3事件が起きるは疲れ難いということを阻止する fact5: もしすっごーいということは起きないとするとまにゅまちょLv.11事件かぽよぽえLv.89事件かまたはどちらもが発生する fact6: ぽにょぽえLv.3事件が起きる fact7: 値引きすることはぷにゃぷやLv.54事件を引き起こす fact8: 大差無いということはぷにゃぷやLv.54事件に帰結する ; $hypothesis$ = ぷにゃぷやLv.54事件が起きる ; $proof$ = 
fact2 -> int1: 対決することが生じる; int1 & fact6 -> int2: 対決することが生じるしぽにょぽえLv.3事件が発生する; int2 & fact4 -> int3: 疲れ難いということは起きない; int3 & fact1 -> int4: 大差無いということかまたは値引きすることが起きる; int4 & fact8 & fact7 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact4 -> int3: ¬{D}; int3 & fact1 -> int4: ({F} v {E}); int4 & fact8 & fact7 -> hypothesis; __PROVED__