返済出来ることが生じる
fact1: 返済出来ることは生じないということは「漏れ無いということが起きるかもしくはすりゃ良いということが発生する」ということにより生じる fact2: もし父親らしいということは起きないとすれば「清いということおよび鋭いということ両方が生じる」ということは成り立たない fact3: もし仮に「清いということが起こるしその上鋭いということが起こる」ということは成り立たないとするとすりゃ良いということは生じない fact4: 仮に「ぷちょぷよLv.66事件は起きないかあるいは漏れ無いということは発生しないかもしくは両方ともだ」ということは誤りだとするとぴにょぴにゃLv.29事件は発生しない fact5: もしすりゃ良いということが生じるなら「ぷちょぷよLv.66事件は起こらないか漏れ無いということは起こらないかまたは両方ともである」ということは成り立たない fact6: 漏れ無いということとぷちょぷよLv.66事件が起きる fact7: ぷちょぷよLv.66事件は生じないとすれば返済出来ることおよび漏れ無いということが起こる
fact6 -> int1: 漏れ無いということが起こる; int1 -> int2: 漏れ無いということが発生するかすりゃ良いということが生じる; int2 & fact1 -> hypothesis;
fact6 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis;
返済出来ることが生じる
$facts$ = fact1: 返済出来ることは生じないということは「漏れ無いということが起きるかもしくはすりゃ良いということが発生する」ということにより生じる fact2: もし父親らしいということは起きないとすれば「清いということおよび鋭いということ両方が生じる」ということは成り立たない fact3: もし仮に「清いということが起こるしその上鋭いということが起こる」ということは成り立たないとするとすりゃ良いということは生じない fact4: 仮に「ぷちょぷよLv.66事件は起きないかあるいは漏れ無いということは発生しないかもしくは両方ともだ」ということは誤りだとするとぴにょぴにゃLv.29事件は発生しない fact5: もしすりゃ良いということが生じるなら「ぷちょぷよLv.66事件は起こらないか漏れ無いということは起こらないかまたは両方ともである」ということは成り立たない fact6: 漏れ無いということとぷちょぷよLv.66事件が起きる fact7: ぷちょぷよLv.66事件は生じないとすれば返済出来ることおよび漏れ無いということが起こる ; $hypothesis$ = 返済出来ることが生じる ; $proof$ = 
fact6 -> int1: 漏れ無いということが起こる; int1 -> int2: 漏れ無いということが発生するかすりゃ良いということが生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis; __DISPROVED__