「みねみにょLv.14事件およびぴのぴゆLv.28事件両方ともが生じる」ということは成り立たない
fact1: ぷちゃぷにゃLv.69事件が生じるかあるいは力無いということが起きるか両方だ fact2: みにゃみやLv.93事件はぴのぴゆLv.28事件を誘発する fact3: 分かり辛いということはぴのぴゆLv.28事件に帰結する fact4: 「ぴよぴねLv.24事件は起こらない」ということは成り立つ fact5: もし仮にぴよぴねLv.24事件は起きないとしたらみにゃみやLv.93事件か分かり辛いということが起こる fact6: みねみにょLv.14事件が起きる
fact5 & fact4 -> int1: みにゃみやLv.93事件が起こるかもしくは分かり辛いということが起きる; int1 & fact2 & fact3 -> int2: ぴのぴゆLv.28事件が起こる; int2 & fact6 -> hypothesis;
fact5 & fact4 -> int1: ({AA} v {AB}); int1 & fact2 & fact3 -> int2: {B}; int2 & fact6 -> hypothesis;
$facts$ = fact1: ぷちゃぷにゃLv.69事件が生じるかあるいは力無いということが起きるか両方だ fact2: みにゃみやLv.93事件はぴのぴゆLv.28事件を誘発する fact3: 分かり辛いということはぴのぴゆLv.28事件に帰結する fact4: 「ぴよぴねLv.24事件は起こらない」ということは成り立つ fact5: もし仮にぴよぴねLv.24事件は起きないとしたらみにゃみやLv.93事件か分かり辛いということが起こる fact6: みねみにょLv.14事件が起きる ; $hypothesis$ = 「みねみにょLv.14事件およびぴのぴゆLv.28事件両方ともが生じる」ということは成り立たない ; $proof$ = 
fact5 & fact4 -> int1: みにゃみやLv.93事件が起こるかもしくは分かり辛いということが起きる; int1 & fact2 & fact3 -> int2: ぴのぴゆLv.28事件が起こる; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: ({AA} v {AB}); int1 & fact2 & fact3 -> int2: {B}; int2 & fact6 -> hypothesis; __DISPROVED__