ぽいぽなLv.54事件が起こるかまたは着替えることは生じない
fact1: 「ぽいぽなLv.54事件が起こるかあるいは着替えることは発生しない」ということは「ものもなLv.58事件は生じない」ということにより発生する fact2: 着替えることが生じる fact3: ものもなLv.58事件と涼しいということが起きるはみのみくLv.93事件は起こらないということに帰結する fact4: 着替えることがみのみくLv.93事件は起こらないということに由来する fact5: ものもなLv.58事件が生じる fact6: もし仮に「みのみくLv.93事件は起こらない」ということは確かであるなら「ぽいぽなLv.54事件が起こるかもしくは着替えることは発生しないかもしくは両方ともである」ということは誤っている fact7: 涼しいということが起こる
fact5 & fact7 -> int1: ものもなLv.58事件および涼しいということ両方が起こる; int1 & fact3 -> int2: みのみくLv.93事件は生じない; int2 & fact6 -> hypothesis;
fact5 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact6 -> hypothesis;
ぽいぽなLv.54事件が起こるかまたは着替えることは生じない
$facts$ = fact1: 「ぽいぽなLv.54事件が起こるかあるいは着替えることは発生しない」ということは「ものもなLv.58事件は生じない」ということにより発生する fact2: 着替えることが生じる fact3: ものもなLv.58事件と涼しいということが起きるはみのみくLv.93事件は起こらないということに帰結する fact4: 着替えることがみのみくLv.93事件は起こらないということに由来する fact5: ものもなLv.58事件が生じる fact6: もし仮に「みのみくLv.93事件は起こらない」ということは確かであるなら「ぽいぽなLv.54事件が起こるかもしくは着替えることは発生しないかもしくは両方ともである」ということは誤っている fact7: 涼しいということが起こる ; $hypothesis$ = ぽいぽなLv.54事件が起こるかまたは着替えることは生じない ; $proof$ = 
fact5 & fact7 -> int1: ものもなLv.58事件および涼しいということ両方が起こる; int1 & fact3 -> int2: みのみくLv.93事件は生じない; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact6 -> hypothesis; __DISPROVED__