まねまえLv.79事件が生じる
fact1: もしも程無いということは発生しないとしたらまえまわLv.88事件が生じるけど待ち遠しいということは起こらない fact2: 「まえまわLv.88事件が起きるがしかし待ち遠しいということは生じない」ということは「まねまえLv.79事件は生じない」ということの原因となる fact3: まえまわLv.88事件が起きる fact4: まねまえLv.79事件は起こらないということはまえまわLv.88事件に防がれる
fact3 -> int1: まえまわLv.88事件が起きる; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> hypothesis;
まねまえLv.79事件は生じない
$facts$ = fact1: もしも程無いということは発生しないとしたらまえまわLv.88事件が生じるけど待ち遠しいということは起こらない fact2: 「まえまわLv.88事件が起きるがしかし待ち遠しいということは生じない」ということは「まねまえLv.79事件は生じない」ということの原因となる fact3: まえまわLv.88事件が起きる fact4: まねまえLv.79事件は起こらないということはまえまわLv.88事件に防がれる ; $hypothesis$ = まねまえLv.79事件が生じる ; $proof$ = 
fact3 -> int1: まえまわLv.88事件が起きる; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__