ぷゆぷやLv.22事件は起こらない
fact1: ぴなぴいLv.96事件が生じる fact2: 解け易いということはぷゆぷやLv.22事件を生じさせる fact3: もし「日本らしいということは生じないしもにょもにLv.46事件は起きない」ということは成り立たないとしたら「厳めしいということは起こらない」ということは確かである fact4: 愛しむことが起きるかあるいはぷにょぷくLv.78事件が起きるかまたは両方である fact5: 仮に厳めしいということは発生しないならみよみにLv.51事件が生じるかあるいはぴなぴいLv.96事件が起きるかあるいは両方ともだ fact6: ぴなぴいLv.96事件が起きないということは「ぷゆぷやLv.22事件が発生するか解け易いということが生じるかまたは両方である」ということはきっかけである fact7: 仮に「所有することが起きる」ということは成り立つとしたら「日本らしいということは発生しないしもにょもにLv.46事件は起こらない」ということは間違いである
void -> assump1: 以下のように仮定する。ぷゆぷやLv.22事件が発生する; assump1 -> int1: ぷゆぷやLv.22事件が起きるかまたは解け易いということが発生する; int1 & fact6 -> int2: ぴなぴいLv.96事件は起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぷゆぷやLv.22事件が発生する
$facts$ = fact1: ぴなぴいLv.96事件が生じる fact2: 解け易いということはぷゆぷやLv.22事件を生じさせる fact3: もし「日本らしいということは生じないしもにょもにLv.46事件は起きない」ということは成り立たないとしたら「厳めしいということは起こらない」ということは確かである fact4: 愛しむことが起きるかあるいはぷにょぷくLv.78事件が起きるかまたは両方である fact5: 仮に厳めしいということは発生しないならみよみにLv.51事件が生じるかあるいはぴなぴいLv.96事件が起きるかあるいは両方ともだ fact6: ぴなぴいLv.96事件が起きないということは「ぷゆぷやLv.22事件が発生するか解け易いということが生じるかまたは両方である」ということはきっかけである fact7: 仮に「所有することが起きる」ということは成り立つとしたら「日本らしいということは発生しないしもにょもにLv.46事件は起こらない」ということは間違いである ; $hypothesis$ = ぷゆぷやLv.22事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷゆぷやLv.22事件が発生する; assump1 -> int1: ぷゆぷやLv.22事件が起きるかまたは解け易いということが発生する; int1 & fact6 -> int2: ぴなぴいLv.96事件は起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__