ぷくぷにゃLv.50事件は生じない
fact1: まにまいLv.98事件は生じないということは代読することをもたらす fact2: 掘り上げることは発生しない fact3: もし仮に「「まにまいLv.98事件としぶといということが発生する」ということは成り立つ」ということは偽であるとすると「まにまいLv.98事件は起こらない」ということは間違いでない fact4: もしまくまゆLv.4事件が起こるなら発現し易いということは起こらなくてぷにぷちょLv.47事件が起こる fact5: ぷくぷにゃLv.50事件は起こらないけどぷよぷなLv.50事件が生じる fact6: 「まくまゆLv.4事件は発生しない」ということは代読することに阻まれる
fact5 -> int1: ぷくぷにゃLv.50事件は起こらないけどぷよぷなLv.50事件が生じる; int1 -> hypothesis;
fact5 -> int1: (¬{AA} & {AB}); int1 -> hypothesis;
発現し易いということは起こらないがぷにぷちょLv.47事件が発生する
$facts$ = fact1: まにまいLv.98事件は生じないということは代読することをもたらす fact2: 掘り上げることは発生しない fact3: もし仮に「「まにまいLv.98事件としぶといということが発生する」ということは成り立つ」ということは偽であるとすると「まにまいLv.98事件は起こらない」ということは間違いでない fact4: もしまくまゆLv.4事件が起こるなら発現し易いということは起こらなくてぷにぷちょLv.47事件が起こる fact5: ぷくぷにゃLv.50事件は起こらないけどぷよぷなLv.50事件が生じる fact6: 「まくまゆLv.4事件は発生しない」ということは代読することに阻まれる ; $hypothesis$ = ぷくぷにゃLv.50事件は生じない ; $proof$ = 
fact5 -> int1: ぷくぷにゃLv.50事件は起こらないけどぷよぷなLv.50事件が生じる; int1 -> hypothesis; __PROVED__
fact5 -> int1: (¬{AA} & {AB}); int1 -> hypothesis; __PROVED__