惜しいということが起きる
fact1: 「まのまやLv.76事件は発生しない」ということはまちょまちゃLv.81事件に防がれる fact2: みにょみのLv.53事件は疑わしということに起因する fact3: 「惜しいということは起きない」ということはまのまやLv.76事件に阻止される fact4: まちょまちゃLv.81事件が起きる fact5: 「まのまやLv.76事件は生じない一方で惜しいということが生じる」ということは貧しいということは起きないということが契機である
fact1 & fact4 -> int1: まのまやLv.76事件が起きる; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
「まゆまくLv.9事件が発生する」ということは誤っているということはない
$facts$ = fact1: 「まのまやLv.76事件は発生しない」ということはまちょまちゃLv.81事件に防がれる fact2: みにょみのLv.53事件は疑わしということに起因する fact3: 「惜しいということは起きない」ということはまのまやLv.76事件に阻止される fact4: まちょまちゃLv.81事件が起きる fact5: 「まのまやLv.76事件は生じない一方で惜しいということが生じる」ということは貧しいということは起きないということが契機である ; $hypothesis$ = 惜しいということが起きる ; $proof$ = 
fact1 & fact4 -> int1: まのまやLv.76事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__