「もちゃもわLv.40事件が起きるかあるいはまちゃまちょLv.2事件が起こる」ということは成り立たない
fact1: 赤いということが生じる fact2: 「みくみえLv.31事件が起こる」ということは本当である fact3: 赤いということともちゃもわLv.40事件両方ともが発生する fact4: ぷねぷにゃLv.52事件が発生する
fact3 -> int1: もちゃもわLv.40事件が起きる; int1 -> hypothesis;
fact3 -> int1: {B}; int1 -> hypothesis;
$facts$ = fact1: 赤いということが生じる fact2: 「みくみえLv.31事件が起こる」ということは本当である fact3: 赤いということともちゃもわLv.40事件両方ともが発生する fact4: ぷねぷにゃLv.52事件が発生する ; $hypothesis$ = 「もちゃもわLv.40事件が起きるかあるいはまちゃまちょLv.2事件が起こる」ということは成り立たない ; $proof$ = 
fact3 -> int1: もちゃもわLv.40事件が起きる; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 -> hypothesis; __DISPROVED__