「上げ易いということが起きる」ということは本当だ
fact1: 運転し易いということは上げ易いということは生じないということを回避する fact2: やばいということと運転し易いということが起こる fact3: もし上げ易いということは起こらないとするとぽくぽちょLv.9事件が起きるしやばいということが起きる fact4: もしももやもちゃLv.82事件が起きるとすれば「やばいということは生じなくて運転し易いということは発生しない」ということは誤っている fact5: 苦いということとまにゃまいLv.83事件が発生する fact6: やばいということが起こる fact7: まちゃまにょLv.97事件が生じる
fact2 -> int1: 運転し易いということが起こる; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact1 -> hypothesis;
上げ易いということは生じない
$facts$ = fact1: 運転し易いということは上げ易いということは生じないということを回避する fact2: やばいということと運転し易いということが起こる fact3: もし上げ易いということは起こらないとするとぽくぽちょLv.9事件が起きるしやばいということが起きる fact4: もしももやもちゃLv.82事件が起きるとすれば「やばいということは生じなくて運転し易いということは発生しない」ということは誤っている fact5: 苦いということとまにゃまいLv.83事件が発生する fact6: やばいということが起こる fact7: まちゃまにょLv.97事件が生じる ; $hypothesis$ = 「上げ易いということが起きる」ということは本当だ ; $proof$ = 
fact2 -> int1: 運転し易いということが起こる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__