「ぴゆぴにLv.63事件が生じる」ということは「貧乏臭いということが起こるけれど与え易いということは起きない」ということを誘発する
fact1: 「仮にまわまえLv.39事件が生じないとすると貧乏臭いということは発生する一方で与え易いということは発生しない」ということは成り立つ fact2: 「ぴゆぴにLv.63事件が起きるかもしくは見届けることが起きるかもしくはどちらもである」ということは「まわまえLv.39事件は起きない」ということのきっかけとなる fact3: 貧乏臭いということおよび与え易いということが起こる
void -> assump1: 以下のように仮定する。「ぴゆぴにLv.63事件が発生する」ということは確かである; assump1 -> int1: ぴゆぴにLv.63事件が起こるかまたは見届けることが起きるか両方ともだ; int1 & fact2 -> int2: 「まわまえLv.39事件は起こらない」ということは成り立つ; int2 & fact1 -> int3: 貧乏臭いということが起こるし与え易いということは起きない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & ¬{D}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「仮にまわまえLv.39事件が生じないとすると貧乏臭いということは発生する一方で与え易いということは発生しない」ということは成り立つ fact2: 「ぴゆぴにLv.63事件が起きるかもしくは見届けることが起きるかもしくはどちらもである」ということは「まわまえLv.39事件は起きない」ということのきっかけとなる fact3: 貧乏臭いということおよび与え易いということが起こる ; $hypothesis$ = 「ぴゆぴにLv.63事件が生じる」ということは「貧乏臭いということが起こるけれど与え易いということは起きない」ということを誘発する ; $proof$ = 
void -> assump1: 以下のように仮定する。「ぴゆぴにLv.63事件が発生する」ということは確かである; assump1 -> int1: ぴゆぴにLv.63事件が起こるかまたは見届けることが起きるか両方ともだ; int1 & fact2 -> int2: 「まわまえLv.39事件は起こらない」ということは成り立つ; int2 & fact1 -> int3: 貧乏臭いということが起こるし与え易いということは起きない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & ¬{D}); [assump1] & int3 -> hypothesis; __PROVED__