もくもにゃLv.95事件と纏まり易いということが生じる
fact1: 「汚れ易いということは生じない」ということは「ぴくぴわLv.41事件が起こるしそれにまいまわLv.51事件が起きる」ということが契機だ fact2: 「纏まり易いということは起きなくてかつもくもにゃLv.95事件は起こらない」ということは赤しということは生じないということに引き起こされる fact3: 黄色っぽいということが生じるかあるいは固まり掛けることが生じる fact4: まいまわLv.51事件が起こる fact5: 「水臭いということが起きる」ということは事実であればまいまわLv.51事件は発生しないかあるいは汚れ易いということは発生しないかあるいは両方だ fact6: もし仮に汚れ易いということは起きないならば「もくもにゃLv.95事件が起きるしかつ纏まり易いということが生じる」ということは嘘である fact7: もし仮に纏まり易いということは起こらないとしたら「汚れ易いということは生じないがしかしまいまわLv.51事件が発生する」ということは間違いである fact8: もし仮にまいまわLv.51事件は発生しないならもくもにゃLv.95事件が起きるしかつぴくぴわLv.41事件が起こる fact9: ぴくぴわLv.41事件が起こる
fact9 & fact4 -> int1: 「ぴくぴわLv.41事件およびまいまわLv.51事件が生じる」ということは成り立つ; int1 & fact1 -> int2: 汚れ易いということは発生しない; int2 & fact6 -> hypothesis;
fact9 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact6 -> hypothesis;
もくもにゃLv.95事件と纏まり易いということが生じる
$facts$ = fact1: 「汚れ易いということは生じない」ということは「ぴくぴわLv.41事件が起こるしそれにまいまわLv.51事件が起きる」ということが契機だ fact2: 「纏まり易いということは起きなくてかつもくもにゃLv.95事件は起こらない」ということは赤しということは生じないということに引き起こされる fact3: 黄色っぽいということが生じるかあるいは固まり掛けることが生じる fact4: まいまわLv.51事件が起こる fact5: 「水臭いということが起きる」ということは事実であればまいまわLv.51事件は発生しないかあるいは汚れ易いということは発生しないかあるいは両方だ fact6: もし仮に汚れ易いということは起きないならば「もくもにゃLv.95事件が起きるしかつ纏まり易いということが生じる」ということは嘘である fact7: もし仮に纏まり易いということは起こらないとしたら「汚れ易いということは生じないがしかしまいまわLv.51事件が発生する」ということは間違いである fact8: もし仮にまいまわLv.51事件は発生しないならもくもにゃLv.95事件が起きるしかつぴくぴわLv.41事件が起こる fact9: ぴくぴわLv.41事件が起こる ; $hypothesis$ = もくもにゃLv.95事件と纏まり易いということが生じる ; $proof$ = 
fact9 & fact4 -> int1: 「ぴくぴわLv.41事件およびまいまわLv.51事件が生じる」ということは成り立つ; int1 & fact1 -> int2: 汚れ易いということは発生しない; int2 & fact6 -> hypothesis; __DISPROVED__
fact9 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact6 -> hypothesis; __DISPROVED__