クリックすることと返済出来ることが発生する
fact1: 「クリックすることは起きない」ということは由々しということに防がれる fact2: ぽにゅぽにゃLv.35事件は生じないということは「由々しということは起きないけれど尽くすことが発生する」ということのきっかけとなる fact3: もし「「用い易いということおよびぽちゃぽにょLv.5事件が生じる」ということは真実だ」ということは誤っているとしたらぽにゅぽにゃLv.35事件は発生しない fact4: もし仮に由々しということは起きないとすると「「クリックすることおよび返済出来ること両方が起きる」ということは誤りだ」ということは確かである fact5: 「由々しということと尽くすこと両方が起きる」ということは事実である fact6: 返済出来ることが起こる
fact5 -> int1: 由々しということが起こる; int1 & fact1 -> int2: クリックすることが生じる; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact6 -> hypothesis;
「クリックすることが生じるしその上返済出来ることが起こる」ということは誤っている
$facts$ = fact1: 「クリックすることは起きない」ということは由々しということに防がれる fact2: ぽにゅぽにゃLv.35事件は生じないということは「由々しということは起きないけれど尽くすことが発生する」ということのきっかけとなる fact3: もし「「用い易いということおよびぽちゃぽにょLv.5事件が生じる」ということは真実だ」ということは誤っているとしたらぽにゅぽにゃLv.35事件は発生しない fact4: もし仮に由々しということは起きないとすると「「クリックすることおよび返済出来ること両方が起きる」ということは誤りだ」ということは確かである fact5: 「由々しということと尽くすこと両方が起きる」ということは事実である fact6: 返済出来ることが起こる ; $hypothesis$ = クリックすることと返済出来ることが発生する ; $proof$ = 
fact5 -> int1: 由々しということが起こる; int1 & fact1 -> int2: クリックすることが生じる; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact6 -> hypothesis; __PROVED__