思しいということが発生する
fact1: 書き難いということは思しいということが起こるということを防ぐ fact2: もちょもゆLv.38事件が起きる fact3: ぷくぷやLv.44事件かあるいは「書き難いということが起こる」ということは思しいということは起きないということの原因となる fact4: 「もちょもゆLv.38事件が生じる」ということは「ぷくぷやLv.44事件は生じない」ということを阻む
fact4 & fact2 -> int1: 「ぷくぷやLv.44事件が発生する」ということは成り立つ; int1 -> int2: ぷくぷやLv.44事件が発生するか書き難いということが生じるかまたは両方ともである; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 書き難いということは思しいということが起こるということを防ぐ fact2: もちょもゆLv.38事件が起きる fact3: ぷくぷやLv.44事件かあるいは「書き難いということが起こる」ということは思しいということは起きないということの原因となる fact4: 「もちょもゆLv.38事件が生じる」ということは「ぷくぷやLv.44事件は生じない」ということを阻む ; $hypothesis$ = 思しいということが発生する ; $proof$ = 
fact4 & fact2 -> int1: 「ぷくぷやLv.44事件が発生する」ということは成り立つ; int1 -> int2: ぷくぷやLv.44事件が発生するか書き難いということが生じるかまたは両方ともである; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact3 -> hypothesis; __DISPROVED__