目覚ましいということは生じない
fact1: 女の子らしいということは「「利き難いということは発生しないし癒し難いということが生じる」ということは本当だ」ということのきっかけとなる fact2: 「忍び難いということが起きる」ということは成り立つ fact3: もし仮に礼儀正しいということが発生するとしたらぷえぷゆLv.30事件ではなくて忍び難いということが起こる fact4: 「礼儀正しいということではなくて早しということが起きる」ということは目覚ましいということを阻止する fact5: 礼儀正しいということと早しということが起きる fact6: 支障無いということが起きる fact7: 理解し難いということは生じないということは「支障無いということが生じるしおまけに目覚ましいということが起こる」ということのきっかけとなる fact8: 「みねみにLv.18事件ではなく尖り立つことが起きる」ということは哀れっぽいということは起きないということを引き起こす fact9: 「ぷえぷゆLv.30事件が生じないけれど忍び難いということは発生する」ということは理解し難いということを回避する
fact5 -> int1: 礼儀正しいということが発生する; int1 & fact3 -> int2: ぷえぷゆLv.30事件は発生しなくて忍び難いということが起こる; int2 & fact9 -> int3: 理解し難いということは生じない; int3 & fact7 -> int4: 支障無いということと目覚ましいということ両方が起きる; int4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: (¬{D} & {C}); int2 & fact9 -> int3: ¬{E}; int3 & fact7 -> int4: ({G} & {F}); int4 -> hypothesis;
目覚ましいということは生じない
$facts$ = fact1: 女の子らしいということは「「利き難いということは発生しないし癒し難いということが生じる」ということは本当だ」ということのきっかけとなる fact2: 「忍び難いということが起きる」ということは成り立つ fact3: もし仮に礼儀正しいということが発生するとしたらぷえぷゆLv.30事件ではなくて忍び難いということが起こる fact4: 「礼儀正しいということではなくて早しということが起きる」ということは目覚ましいということを阻止する fact5: 礼儀正しいということと早しということが起きる fact6: 支障無いということが起きる fact7: 理解し難いということは生じないということは「支障無いということが生じるしおまけに目覚ましいということが起こる」ということのきっかけとなる fact8: 「みねみにLv.18事件ではなく尖り立つことが起きる」ということは哀れっぽいということは起きないということを引き起こす fact9: 「ぷえぷゆLv.30事件が生じないけれど忍び難いということは発生する」ということは理解し難いということを回避する ; $hypothesis$ = 目覚ましいということは生じない ; $proof$ = 
fact5 -> int1: 礼儀正しいということが発生する; int1 & fact3 -> int2: ぷえぷゆLv.30事件は発生しなくて忍び難いということが起こる; int2 & fact9 -> int3: 理解し難いということは生じない; int3 & fact7 -> int4: 支障無いということと目覚ましいということ両方が起きる; int4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: (¬{D} & {C}); int2 & fact9 -> int3: ¬{E}; int3 & fact7 -> int4: ({G} & {F}); int4 -> hypothesis; __DISPROVED__