握り易いということではなくてぽちゅぽわLv.78事件が起こる
fact1: 運び易いということは吠え始めることかまたは移り難いということかもしくはどちらもに阻止される fact2: 晴々しいということとぷくぷわLv.31事件両方が起こる fact3: 「ぷくぷわLv.31事件が起きる」ということは移り難いということは起こらないということを阻む fact4: 「握り易いということは発生しないし晴々しいということは発生しない」ということはぷくぷわLv.31事件は起こらないということにより生じる fact5: 「握り易いということが生じるしぽちゅぽわLv.78事件が発生する」ということは成り立たない fact6: もし運び易いということは生じないならば「握り易いということではなくてぽちゅぽわLv.78事件が生じる」ということは成り立たない fact7: 格好悪いということが起きる
fact2 -> int1: ぷくぷわLv.31事件が発生する; int1 & fact3 -> int2: 「移り難いということが起きる」ということは確かだ; int2 -> int3: 吠え始めることかもしくは移り難いということが起きる; int3 & fact1 -> int4: 運び易いということは起きない; int4 & fact6 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact1 -> int4: ¬{E}; int4 & fact6 -> hypothesis;
握り易いということではなくてぽちゅぽわLv.78事件が起こる
$facts$ = fact1: 運び易いということは吠え始めることかまたは移り難いということかもしくはどちらもに阻止される fact2: 晴々しいということとぷくぷわLv.31事件両方が起こる fact3: 「ぷくぷわLv.31事件が起きる」ということは移り難いということは起こらないということを阻む fact4: 「握り易いということは発生しないし晴々しいということは発生しない」ということはぷくぷわLv.31事件は起こらないということにより生じる fact5: 「握り易いということが生じるしぽちゅぽわLv.78事件が発生する」ということは成り立たない fact6: もし運び易いということは生じないならば「握り易いということではなくてぽちゅぽわLv.78事件が生じる」ということは成り立たない fact7: 格好悪いということが起きる ; $hypothesis$ = 握り易いということではなくてぽちゅぽわLv.78事件が起こる ; $proof$ = 
fact2 -> int1: ぷくぷわLv.31事件が発生する; int1 & fact3 -> int2: 「移り難いということが起きる」ということは確かだ; int2 -> int3: 吠え始めることかもしくは移り難いということが起きる; int3 & fact1 -> int4: 運び易いということは起きない; int4 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact1 -> int4: ¬{E}; int4 & fact6 -> hypothesis; __DISPROVED__