初参加することが生じる
fact1: 「捩じれることは生じない」ということかもしくは赤黒いということは発生しないということはぷにょぷなLv.87事件に由来する fact2: ぴにゃぴいLv.25事件およびめんどいということが起こる fact3: まのまよLv.33事件は生じないということは初参加することのきっかけとなる fact4: めんどいということが起きる fact5: 紳士らしいということが起きる fact6: 「ぴにゃぴいLv.25事件と紳士らしいということどちらもが発生する」ということは「まのまよLv.33事件は生じない」ということを誘発する fact7: もしめんどいということは起こらないなら「初参加することが生じるがしかしまのまよLv.33事件は発生しない」ということは誤りである
fact2 -> int1: ぴにゃぴいLv.25事件が起きる; int1 & fact5 -> int2: ぴにゃぴいLv.25事件が起きるしまた紳士らしいということが起こる; int2 & fact6 -> int3: まのまよLv.33事件は起こらない; int3 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {B}); int2 & fact6 -> int3: ¬{C}; int3 & fact3 -> hypothesis;
むさくるしいということは起こらない
$facts$ = fact1: 「捩じれることは生じない」ということかもしくは赤黒いということは発生しないということはぷにょぷなLv.87事件に由来する fact2: ぴにゃぴいLv.25事件およびめんどいということが起こる fact3: まのまよLv.33事件は生じないということは初参加することのきっかけとなる fact4: めんどいということが起きる fact5: 紳士らしいということが起きる fact6: 「ぴにゃぴいLv.25事件と紳士らしいということどちらもが発生する」ということは「まのまよLv.33事件は生じない」ということを誘発する fact7: もしめんどいということは起こらないなら「初参加することが生じるがしかしまのまよLv.33事件は発生しない」ということは誤りである ; $hypothesis$ = 初参加することが生じる ; $proof$ = 
fact2 -> int1: ぴにゃぴいLv.25事件が起きる; int1 & fact5 -> int2: ぴにゃぴいLv.25事件が起きるしまた紳士らしいということが起こる; int2 & fact6 -> int3: まのまよLv.33事件は起こらない; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {B}); int2 & fact6 -> int3: ¬{C}; int3 & fact3 -> hypothesis; __PROVED__