「洗い為さることおよび懐かしいということどちらもが起こる」ということは成り立たない
fact1: 「まにゅまわLv.63事件は起こらないけど遅れ易いということが起きる」ということは余儀無いということは発生しないということに由来する fact2: まにゅまわLv.63事件が発生する fact3: 洗い為さることが発生する fact4: 「まにゅまわLv.63事件は起きない」ということは本当であるとすれば「洗い為さることおよび懐かしいということ両方ともが発生する」ということは間違いだ fact5: 遅れ易いということが起こるということはまにゅまわLv.63事件がきっかけだ fact6: 懐かしいということは遅れ易いということが原因である
fact5 & fact2 -> int1: 「遅れ易いということが起こる」ということは嘘であるということはない; int1 & fact6 -> int2: 懐かしいということが発生する; int2 & fact3 -> hypothesis;
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis;
「洗い為さることおよび懐かしいということどちらもが起こる」ということは成り立たない
$facts$ = fact1: 「まにゅまわLv.63事件は起こらないけど遅れ易いということが起きる」ということは余儀無いということは発生しないということに由来する fact2: まにゅまわLv.63事件が発生する fact3: 洗い為さることが発生する fact4: 「まにゅまわLv.63事件は起きない」ということは本当であるとすれば「洗い為さることおよび懐かしいということ両方ともが発生する」ということは間違いだ fact5: 遅れ易いということが起こるということはまにゅまわLv.63事件がきっかけだ fact6: 懐かしいということは遅れ易いということが原因である ; $hypothesis$ = 「洗い為さることおよび懐かしいということどちらもが起こる」ということは成り立たない ; $proof$ = 
fact5 & fact2 -> int1: 「遅れ易いということが起こる」ということは嘘であるということはない; int1 & fact6 -> int2: 懐かしいということが発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis; __DISPROVED__