えげつないということは起こらない
fact1: 「えげつないということは発生しない」ということは「ぷにょぷにょLv.95事件とぴのぴいLv.68事件が発生する」ということが原因である fact2: ぴゆぴよLv.61事件が生じないとすると溶け難いということは起きなくてかつぴのぴいLv.68事件は起きない fact3: ぴのぴいLv.68事件が起きる fact4: ぴにぴちょLv.28事件が起こる fact5: ぴにぴちょLv.28事件が生じるししかもぷにょぷにょLv.95事件が起きる fact6: もし仮にぷにょぷにょLv.95事件は起こらないとすれば「えげつないということが発生するし加えてぴにぴちょLv.28事件が起こる」ということは成り立つ fact7: 「溶け難いということは起きなくてぴのぴいLv.68事件は起きない」ということは「ぷにょぷにょLv.95事件は生じない」ということを引き起こす
fact5 -> int1: 「ぷにょぷにょLv.95事件が起きる」ということは成り立つ; int1 & fact3 -> int2: ぷにょぷにょLv.95事件およびぴのぴいLv.68事件どちらもが起きる; int2 & fact1 -> hypothesis;
fact5 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
えげつないということが起きる
$facts$ = fact1: 「えげつないということは発生しない」ということは「ぷにょぷにょLv.95事件とぴのぴいLv.68事件が発生する」ということが原因である fact2: ぴゆぴよLv.61事件が生じないとすると溶け難いということは起きなくてかつぴのぴいLv.68事件は起きない fact3: ぴのぴいLv.68事件が起きる fact4: ぴにぴちょLv.28事件が起こる fact5: ぴにぴちょLv.28事件が生じるししかもぷにょぷにょLv.95事件が起きる fact6: もし仮にぷにょぷにょLv.95事件は起こらないとすれば「えげつないということが発生するし加えてぴにぴちょLv.28事件が起こる」ということは成り立つ fact7: 「溶け難いということは起きなくてぴのぴいLv.68事件は起きない」ということは「ぷにょぷにょLv.95事件は生じない」ということを引き起こす ; $hypothesis$ = えげつないということは起こらない ; $proof$ = 
fact5 -> int1: 「ぷにょぷにょLv.95事件が起きる」ということは成り立つ; int1 & fact3 -> int2: ぷにょぷにょLv.95事件およびぴのぴいLv.68事件どちらもが起きる; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__