もなものLv.1事件が起きるしそれにそっとすることが起こる
fact1: もなものLv.1事件が発生する fact2: そっとすることが生じる fact3: もし見え難いということは起きないなら「もなものLv.1事件が起こるしおまけにそっとすることが生じる」ということは誤っている
fact2 -> int1: そっとすることが生じる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「もなものLv.1事件が起きるししかもそっとすることが起きる」ということは誤りである
$facts$ = fact1: もなものLv.1事件が発生する fact2: そっとすることが生じる fact3: もし見え難いということは起きないなら「もなものLv.1事件が起こるしおまけにそっとすることが生じる」ということは誤っている ; $hypothesis$ = もなものLv.1事件が起きるしそれにそっとすることが起こる ; $proof$ = 
fact2 -> int1: そっとすることが生じる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__