「めんどいということが発生する」ということは正しい
fact1: 熱し易いということが生じる fact2: めんどいということは起こらないということはもえもにゃLv.98事件が原因だ fact3: 「もえもにゃLv.98事件は生じなくてすりゃ良いということは起こらない」ということは「凛々しいということが生じる」ということを阻む fact4: みちょみにLv.72事件が起きるかもしくはみにゅみゆLv.49事件が起こる fact5: 「もえもにゃLv.98事件が発生するかまたは凛々しいということが起こるかもしくは両方だ」ということはめんどいということは起きないということに帰結する fact6: 熱し易いということは凛々しいということは起こらないということを阻む fact7: 「ぽのぽなLv.5事件が発生する」ということは「霧散することは生じない」ということを防ぐ
fact6 & fact1 -> int1: 凛々しいということが起こる; int1 -> int2: 「もえもにゃLv.98事件かまたは凛々しいということが起きる」ということは成り立つ; int2 & fact5 -> hypothesis;
fact6 & fact1 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact5 -> hypothesis;
「めんどいということが発生する」ということは正しい
$facts$ = fact1: 熱し易いということが生じる fact2: めんどいということは起こらないということはもえもにゃLv.98事件が原因だ fact3: 「もえもにゃLv.98事件は生じなくてすりゃ良いということは起こらない」ということは「凛々しいということが生じる」ということを阻む fact4: みちょみにLv.72事件が起きるかもしくはみにゅみゆLv.49事件が起こる fact5: 「もえもにゃLv.98事件が発生するかまたは凛々しいということが起こるかもしくは両方だ」ということはめんどいということは起きないということに帰結する fact6: 熱し易いということは凛々しいということは起こらないということを阻む fact7: 「ぽのぽなLv.5事件が発生する」ということは「霧散することは生じない」ということを防ぐ ; $hypothesis$ = 「めんどいということが発生する」ということは正しい ; $proof$ = 
fact6 & fact1 -> int1: 凛々しいということが起こる; int1 -> int2: 「もえもにゃLv.98事件かまたは凛々しいということが起きる」ということは成り立つ; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact5 -> hypothesis; __DISPROVED__