ぽやぽにゃLv.57事件が起きる
fact1: みにみにょLv.41事件は発生しないということはまにまいLv.29事件に阻まれる fact2: 生き難いということは「みにゃみゆLv.35事件は起きない」ということかもしくはまちゅまわLv.7事件は起きないということかまたは両方に阻まれる fact3: 生き難いということは起きないということは「ぽいぽなLv.93事件が生じるけどみにみにょLv.41事件は生じない」ということを誘発する fact4: まにまいLv.29事件が発生する fact5: みにみにょLv.41事件はぽやぽにゃLv.57事件をもたらす
fact1 & fact4 -> int1: 「みにみにょLv.41事件が生じる」ということは確かである; int1 & fact5 -> hypothesis;
fact1 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis;
ぽやぽにゃLv.57事件は生じない
$facts$ = fact1: みにみにょLv.41事件は発生しないということはまにまいLv.29事件に阻まれる fact2: 生き難いということは「みにゃみゆLv.35事件は起きない」ということかもしくはまちゅまわLv.7事件は起きないということかまたは両方に阻まれる fact3: 生き難いということは起きないということは「ぽいぽなLv.93事件が生じるけどみにみにょLv.41事件は生じない」ということを誘発する fact4: まにまいLv.29事件が発生する fact5: みにみにょLv.41事件はぽやぽにゃLv.57事件をもたらす ; $hypothesis$ = ぽやぽにゃLv.57事件が起きる ; $proof$ = 
fact1 & fact4 -> int1: 「みにみにょLv.41事件が生じる」ということは確かである; int1 & fact5 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis; __PROVED__