「まなまえLv.33事件が発生する」ということは事実だ
fact1: まにまわLv.47事件が起きるしぷよぷにゃLv.42事件が発生する fact2: 取れ易いということはまにまわLv.47事件にもたらされる fact3: 皮肉っぽいということが生じる fact4: 取れ易いということはまなまえLv.33事件を発生させる fact5: ぷよぷにゃLv.42事件が発生する
fact1 -> int1: 「まにまわLv.47事件が発生する」ということは成り立つ; int1 & fact2 -> int2: 取れ易いということが起きる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: まにまわLv.47事件が起きるしぷよぷにゃLv.42事件が発生する fact2: 取れ易いということはまにまわLv.47事件にもたらされる fact3: 皮肉っぽいということが生じる fact4: 取れ易いということはまなまえLv.33事件を発生させる fact5: ぷよぷにゃLv.42事件が発生する ; $hypothesis$ = 「まなまえLv.33事件が発生する」ということは事実だ ; $proof$ = 
fact1 -> int1: 「まにまわLv.47事件が発生する」ということは成り立つ; int1 & fact2 -> int2: 取れ易いということが起きる; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__