「ぷにょぷなLv.58事件が起きる」ということは事実だ
fact1: まちゅまゆLv.39事件が生じる fact2: 剥離し難いということはまちゅまゆLv.39事件に由来する fact3: 「済ま無いということかもしくは剥離し難いということかもしくはどちらもが起きる」ということは「ぷにょぷなLv.58事件が起きる」ということを阻む
fact2 & fact1 -> int1: 剥離し難いということが発生する; int1 -> int2: 済ま無いということか剥離し難いということが発生する; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis;
$facts$ = fact1: まちゅまゆLv.39事件が生じる fact2: 剥離し難いということはまちゅまゆLv.39事件に由来する fact3: 「済ま無いということかもしくは剥離し難いということかもしくはどちらもが起きる」ということは「ぷにょぷなLv.58事件が起きる」ということを阻む ; $hypothesis$ = 「ぷにょぷなLv.58事件が起きる」ということは事実だ ; $proof$ = 
fact2 & fact1 -> int1: 剥離し難いということが発生する; int1 -> int2: 済ま無いということか剥離し難いということが発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis; __DISPROVED__