荒々しいということが発生する
fact1: 胡散臭いということはコントロールし易いということは生じないということを阻む fact2: 胡散臭いということが起きる fact3: 「忘れ易いということは起こらない」ということは「荒々しいということは発生しないしぽよぽねLv.15事件が起きる」ということを引き起こす fact4: かったるいということが発生する fact5: 「もにょものLv.96事件が発生するかまたは生易しいということが起こる」ということはもえもやLv.27事件を回避する fact6: 「胡散臭いということが起きるかまたは残り易いということは発生しないか両方である」ということは「残り易いということは発生しない」ということに繋がる fact7: コントロールし易いということか来し易いということは忘れ易いということを阻む
fact1 & fact2 -> int1: コントロールし易いということが起こる; int1 -> int2: コントロールし易いということが起こるかあるいは来し易いということが起きる; int2 & fact7 -> int3: 忘れ易いということは起こらない; int3 & fact3 -> int4: 荒々しいということではなくぽよぽねLv.15事件が生じる; int4 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact7 -> int3: ¬{D}; int3 & fact3 -> int4: (¬{F} & {E}); int4 -> hypothesis;
「残り易いということは生じない」ということは成り立つ
$facts$ = fact1: 胡散臭いということはコントロールし易いということは生じないということを阻む fact2: 胡散臭いということが起きる fact3: 「忘れ易いということは起こらない」ということは「荒々しいということは発生しないしぽよぽねLv.15事件が起きる」ということを引き起こす fact4: かったるいということが発生する fact5: 「もにょものLv.96事件が発生するかまたは生易しいということが起こる」ということはもえもやLv.27事件を回避する fact6: 「胡散臭いということが起きるかまたは残り易いということは発生しないか両方である」ということは「残り易いということは発生しない」ということに繋がる fact7: コントロールし易いということか来し易いということは忘れ易いということを阻む ; $hypothesis$ = 荒々しいということが発生する ; $proof$ = 
fact1 & fact2 -> int1: コントロールし易いということが起こる; int1 -> int2: コントロールし易いということが起こるかあるいは来し易いということが起きる; int2 & fact7 -> int3: 忘れ易いということは起こらない; int3 & fact3 -> int4: 荒々しいということではなくぽよぽねLv.15事件が生じる; int4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact7 -> int3: ¬{D}; int3 & fact3 -> int4: (¬{F} & {E}); int4 -> hypothesis; __DISPROVED__