ぷにゃぷやLv.48事件は発生しない
fact1: 「ぷにゃぷやLv.48事件は発生しない」ということは移動し易いということに防がれる fact2: もえもよLv.75事件が発生する fact3: 移動し易いということかあるいは常連らしいということか両方がぷにゃぷやLv.48事件は生じないということの原因となる fact4: 常連らしいということが起きる fact5: もにゃもえLv.38事件が発生するか君らしいということは起これば恭しいということは起こらない fact6: もわもにゃLv.6事件が生じる
fact4 -> int1: 移動し易いということかまたは常連らしいということが起きる; int1 & fact3 -> hypothesis;
fact4 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis;
ぷにゃぷやLv.48事件が生じる
$facts$ = fact1: 「ぷにゃぷやLv.48事件は発生しない」ということは移動し易いということに防がれる fact2: もえもよLv.75事件が発生する fact3: 移動し易いということかあるいは常連らしいということか両方がぷにゃぷやLv.48事件は生じないということの原因となる fact4: 常連らしいということが起きる fact5: もにゃもえLv.38事件が発生するか君らしいということは起これば恭しいということは起こらない fact6: もわもにゃLv.6事件が生じる ; $hypothesis$ = ぷにゃぷやLv.48事件は発生しない ; $proof$ = 
fact4 -> int1: 移動し易いということかまたは常連らしいということが起きる; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis; __PROVED__