活用することは起きない
fact1: 立法することは起こらないということは見易いということを発生させる fact2: 最もらしいということは生じない fact3: 仮に拡大出来ることおよびぷやぷよLv.16事件どちらもが発生するとすると焼き上げることは発生しない fact4: 「ぴにぴいLv.99事件が起こらなくて焼き上げることは発生しない」ということは焼き上げることは起こらないということに起因する fact5: もし仮にぴにょぴにLv.17事件が起きるかまたは戻り易いということは生じないなら拡大出来ることが生じる fact6: 「ぴにぴいLv.99事件が起きないし焼き上げることは起こらない」ということは「活用することは起こらない」ということを阻止する fact7: ぷやぷよLv.16事件が起こる fact8: ぴにょぴにLv.17事件が生じるかもしくは戻り易いということは生じないかまたはどちらもである
fact5 & fact8 -> int1: 拡大出来ることが起こる; int1 & fact7 -> int2: 拡大出来ることおよびぷやぷよLv.16事件が発生する; int2 & fact3 -> int3: 焼き上げることは発生しない; int3 & fact4 -> int4: ぴにぴいLv.99事件が生じなくて更に焼き上げることは生じない; int4 & fact6 -> hypothesis;
fact5 & fact8 -> int1: {B}; int1 & fact7 -> int2: ({B} & {A}); int2 & fact3 -> int3: ¬{C}; int3 & fact4 -> int4: (¬{E} & ¬{C}); int4 & fact6 -> hypothesis;
$facts$ = fact1: 立法することは起こらないということは見易いということを発生させる fact2: 最もらしいということは生じない fact3: 仮に拡大出来ることおよびぷやぷよLv.16事件どちらもが発生するとすると焼き上げることは発生しない fact4: 「ぴにぴいLv.99事件が起こらなくて焼き上げることは発生しない」ということは焼き上げることは起こらないということに起因する fact5: もし仮にぴにょぴにLv.17事件が起きるかまたは戻り易いということは生じないなら拡大出来ることが生じる fact6: 「ぴにぴいLv.99事件が起きないし焼き上げることは起こらない」ということは「活用することは起こらない」ということを阻止する fact7: ぷやぷよLv.16事件が起こる fact8: ぴにょぴにLv.17事件が生じるかもしくは戻り易いということは生じないかまたはどちらもである ; $hypothesis$ = 活用することは起きない ; $proof$ = 
fact5 & fact8 -> int1: 拡大出来ることが起こる; int1 & fact7 -> int2: 拡大出来ることおよびぷやぷよLv.16事件が発生する; int2 & fact3 -> int3: 焼き上げることは発生しない; int3 & fact4 -> int4: ぴにぴいLv.99事件が生じなくて更に焼き上げることは生じない; int4 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: {B}; int1 & fact7 -> int2: ({B} & {A}); int2 & fact3 -> int3: ¬{C}; int3 & fact4 -> int4: (¬{E} & ¬{C}); int4 & fact6 -> hypothesis; __DISPROVED__