縁遠いということは起こらない
fact1: 縁遠いということは「ぷよぷわLv.81事件が生じるかまたは伸ばし易いということが生じるかもしくは両方ともである」ということに防がれる fact2: 「繁殖し易いということは起こらないけど辛抱強いということが生じる」ということは「ぽねぽねLv.27事件は生じない」ということが原因である fact3: 「ぴちゃぴちゃLv.1事件が発生する」ということは誤りでない fact4: 繁殖し易いということは起きないならぷよぷわLv.81事件が起きるけれど伸ばし易いということは発生しない fact5: ぴちゃぴちゃLv.1事件は伸ばし易いということは起きないということを回避する
fact5 & fact3 -> int1: 伸ばし易いということが起こる; int1 -> int2: ぷよぷわLv.81事件か伸ばし易いということかまたはどちらもが起きる; int2 & fact1 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis;
縁遠いということが発生する
$facts$ = fact1: 縁遠いということは「ぷよぷわLv.81事件が生じるかまたは伸ばし易いということが生じるかもしくは両方ともである」ということに防がれる fact2: 「繁殖し易いということは起こらないけど辛抱強いということが生じる」ということは「ぽねぽねLv.27事件は生じない」ということが原因である fact3: 「ぴちゃぴちゃLv.1事件が発生する」ということは誤りでない fact4: 繁殖し易いということは起きないならぷよぷわLv.81事件が起きるけれど伸ばし易いということは発生しない fact5: ぴちゃぴちゃLv.1事件は伸ばし易いということは起きないということを回避する ; $hypothesis$ = 縁遠いということは起こらない ; $proof$ = 
fact5 & fact3 -> int1: 伸ばし易いということが起こる; int1 -> int2: ぷよぷわLv.81事件か伸ばし易いということかまたはどちらもが起きる; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis; __PROVED__