克服し得ることが起きる
fact1: 「まちゃまにょLv.72事件は発生しないけれど収奪することが起きる」ということはぴえぴゆLv.43事件に起因する fact2: 「まちゃまにょLv.72事件が起きる」ということは成り立つ fact3: 収奪することはぷなぷえLv.82事件かまたはまちゃまにょLv.72事件に阻止される fact4: ぷなぷえLv.82事件が収奪することは起こらないということに繋がる
fact2 -> int1: ぷなぷえLv.82事件かもしくはまちゃまにょLv.72事件が生じる; int1 & fact3 -> int2: 収奪することは発生しない;
fact2 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C};
克服し得ることは起こらない
$facts$ = fact1: 「まちゃまにょLv.72事件は発生しないけれど収奪することが起きる」ということはぴえぴゆLv.43事件に起因する fact2: 「まちゃまにょLv.72事件が起きる」ということは成り立つ fact3: 収奪することはぷなぷえLv.82事件かまたはまちゃまにょLv.72事件に阻止される fact4: ぷなぷえLv.82事件が収奪することは起こらないということに繋がる ; $hypothesis$ = 克服し得ることが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__