増え難いということは起きない
fact1: 仮に「伴い易いということと程良いということが生じる」ということは誤っているとしたら伴い易いということは起きない fact2: 程良いということかまたは喋り出すことは増え難いということは起こらないということを誘発する fact3: ぽよぽいLv.69事件が起こる fact4: 「ぽよぽいLv.69事件が起こる」ということは程良いということは生じないということを回避する fact5: 性分らしいということが起こるかぽなぽなLv.13事件が起きる fact6: めでたいということが起こる
fact4 & fact3 -> int1: 程良いということが生じる; int1 -> int2: 程良いということかあるいは喋り出すことかあるいはどちらもが生じる; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
伴い易いということは起きない
$facts$ = fact1: 仮に「伴い易いということと程良いということが生じる」ということは誤っているとしたら伴い易いということは起きない fact2: 程良いということかまたは喋り出すことは増え難いということは起こらないということを誘発する fact3: ぽよぽいLv.69事件が起こる fact4: 「ぽよぽいLv.69事件が起こる」ということは程良いということは生じないということを回避する fact5: 性分らしいということが起こるかぽなぽなLv.13事件が起きる fact6: めでたいということが起こる ; $hypothesis$ = 増え難いということは起きない ; $proof$ = 
fact4 & fact3 -> int1: 程良いということが生じる; int1 -> int2: 程良いということかあるいは喋り出すことかあるいはどちらもが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__