以下のように仮定する。意地悪いということが起こる
fact1: もくもにょLv.52事件は起こらないということは「付け過ぎることとむず痒いということが発生する」ということに帰結する fact2: 「まやまちょLv.20事件は発生しないけど移り易いということが起こる」ということはもくもにょLv.52事件を阻む fact3: ぷちょぷえLv.41事件は「意地悪いということが発生するけど分解され難いということは起きない」ということを招く fact4: 煙たいということが発生する fact5: 付け過ぎることは「ぴのぴのLv.66事件は起こらない一方でみみっちいということが生じる」ということを生じさせる fact6: 「意地悪いということかぷちょぷえLv.41事件が発生する」ということは煙たいということは起こらないということの原因となる fact7: ぷちょぷえLv.41事件および煙たいということが発生するはぴのぴのLv.66事件が発生しないということは契機だ
void -> assump1: 以下のように仮定する。意地悪いということが起こる; assump1 -> int1: 意地悪いということかあるいはぷちょぷえLv.41事件かあるいは両方ともが生じる; int1 & fact6 -> int2: 「煙たいということは起こらない」ということは成り立つ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
分解され難いということは起こらない
$facts$ = fact1: もくもにょLv.52事件は起こらないということは「付け過ぎることとむず痒いということが発生する」ということに帰結する fact2: 「まやまちょLv.20事件は発生しないけど移り易いということが起こる」ということはもくもにょLv.52事件を阻む fact3: ぷちょぷえLv.41事件は「意地悪いということが発生するけど分解され難いということは起きない」ということを招く fact4: 煙たいということが発生する fact5: 付け過ぎることは「ぴのぴのLv.66事件は起こらない一方でみみっちいということが生じる」ということを生じさせる fact6: 「意地悪いということかぷちょぷえLv.41事件が発生する」ということは煙たいということは起こらないということの原因となる fact7: ぷちょぷえLv.41事件および煙たいということが発生するはぴのぴのLv.66事件が発生しないということは契機だ ; $hypothesis$ = 以下のように仮定する。意地悪いということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。意地悪いということが起こる; assump1 -> int1: 意地悪いということかあるいはぷちょぷえLv.41事件かあるいは両方ともが生じる; int1 & fact6 -> int2: 「煙たいということは起こらない」ということは成り立つ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__