まやまやLv.3事件が起きるかもしくは実現し易いということが起こるかもしくはどちらもである
fact1: ぴにゅぴわLv.57事件が起こる fact2: 実現し易いということが起きる fact3: もし仮に「ぷちょぷにょLv.91事件は生じない」ということは成り立つとすると「まちょまくLv.68事件が起こる一方でぽねぽくLv.33事件は生じない」ということは嘘である fact4: 仮に「まちょまくLv.68事件が起こるしぽねぽくLv.33事件は起こらない」ということは成り立たないとするとまやまやLv.3事件は発生しない
fact2 -> int1: 実現し易いということが起きる; int1 -> hypothesis;
fact2 -> int1: {A}; int1 -> hypothesis;
白っぽいということが起こる
$facts$ = fact1: ぴにゅぴわLv.57事件が起こる fact2: 実現し易いということが起きる fact3: もし仮に「ぷちょぷにょLv.91事件は生じない」ということは成り立つとすると「まちょまくLv.68事件が起こる一方でぽねぽくLv.33事件は生じない」ということは嘘である fact4: 仮に「まちょまくLv.68事件が起こるしぽねぽくLv.33事件は起こらない」ということは成り立たないとするとまやまやLv.3事件は発生しない ; $hypothesis$ = まやまやLv.3事件が起きるかもしくは実現し易いということが起こるかもしくはどちらもである ; $proof$ = 
fact2 -> int1: 実現し易いということが起きる; int1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> hypothesis; __PROVED__