以下のように仮定する。青臭いということが生じる
fact1: もし仮に低いということは発生しないならぷちゃぷやLv.42事件かあるいは作業し易いということか両方が生じる fact2: 「低いということは発生しない」ということは「憎たらしいということは起きない」ということに誘発される fact3: もし仮に「口汚いということが生じるし青臭いということは生じない」ということは成り立たないならば口汚いということは生じない fact4: 「作業し易いということが生じる」ということはぷちゃぷやLv.42事件は起きないということに繋がる fact5: ぷちゃぷやLv.42事件は作業し易いということかまたは「青臭いということが発生する」ということかまたは両方に阻止される fact6: ぷちゃぷやLv.42事件が起こる
void -> assump1: 以下のように仮定する。青臭いということが生じる; assump1 -> int1: 作業し易いということかもしくは青臭いということか両方ともが生じる; int1 & fact5 -> int2: ぷちゃぷやLv.42事件は起きない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。青臭いということが生じる
$facts$ = fact1: もし仮に低いということは発生しないならぷちゃぷやLv.42事件かあるいは作業し易いということか両方が生じる fact2: 「低いということは発生しない」ということは「憎たらしいということは起きない」ということに誘発される fact3: もし仮に「口汚いということが生じるし青臭いということは生じない」ということは成り立たないならば口汚いということは生じない fact4: 「作業し易いということが生じる」ということはぷちゃぷやLv.42事件は起きないということに繋がる fact5: ぷちゃぷやLv.42事件は作業し易いということかまたは「青臭いということが発生する」ということかまたは両方に阻止される fact6: ぷちゃぷやLv.42事件が起こる ; $hypothesis$ = 以下のように仮定する。青臭いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。青臭いということが生じる; assump1 -> int1: 作業し易いということかもしくは青臭いということか両方ともが生じる; int1 & fact5 -> int2: ぷちゃぷやLv.42事件は起きない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__