「乗り難いということが起きるししかも思わしいということが発生する」ということは成り立たない
fact1: 限り無しということは「引き攣れることは起きないかまたは怪しということは生じないかどちらもだ」ということを発生させる fact2: 「引き攣れることは生じないかもしくは怪しということは起こらない」ということは「漂い続けることは起こらない」ということに繋がる fact3: 「もえもえLv.13事件および乗り難いということ両方が起きる」ということは思わしいということは起こらないということが契機だ fact4: もし漂い続けることは発生しないとしたら「乗り難いということが起きるし加えて思わしいということが起きる」ということは事実と異なる fact5: 愛しということが発生する fact6: 乗り難いということが発生する fact7: 思わしいということが生じる
fact6 -> int1: 乗り難いということが発生する; int1 & fact7 -> hypothesis;
fact6 -> int1: {A}; int1 & fact7 -> hypothesis;
もえもえLv.13事件およびみにょみちゃLv.8事件が起きる
$facts$ = fact1: 限り無しということは「引き攣れることは起きないかまたは怪しということは生じないかどちらもだ」ということを発生させる fact2: 「引き攣れることは生じないかもしくは怪しということは起こらない」ということは「漂い続けることは起こらない」ということに繋がる fact3: 「もえもえLv.13事件および乗り難いということ両方が起きる」ということは思わしいということは起こらないということが契機だ fact4: もし漂い続けることは発生しないとしたら「乗り難いということが起きるし加えて思わしいということが起きる」ということは事実と異なる fact5: 愛しということが発生する fact6: 乗り難いということが発生する fact7: 思わしいということが生じる ; $hypothesis$ = 「乗り難いということが起きるししかも思わしいということが発生する」ということは成り立たない ; $proof$ = 
fact6 -> int1: 乗り難いということが発生する; int1 & fact7 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact7 -> hypothesis; __DISPROVED__