和解することが発生する
fact1: 預金することと利き難いということが起こるは「和解することは生じない」ということに帰結する fact2: もしも「思しいということは起きない」ということは成り立つとしたら和解することおよび預金することが生じる fact3: 利き難いということが生じる fact4: もし思しいということは生じないとすれば預金することおよび与え難いということ両方ともが生じる fact5: 預金することおよび思しいということが起きる fact6: 和解することと参集することが起きるはぴわぴちゃLv.91事件は生じないということに引き起こされる fact7: 思しいということが発生する
fact5 -> int1: 「預金することが生じる」ということは確かだ; int1 & fact3 -> int2: 「預金することが生じるし利き難いということが起こる」ということは誤りでない; int2 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
与え難いということが発生する
$facts$ = fact1: 預金することと利き難いということが起こるは「和解することは生じない」ということに帰結する fact2: もしも「思しいということは起きない」ということは成り立つとしたら和解することおよび預金することが生じる fact3: 利き難いということが生じる fact4: もし思しいということは生じないとすれば預金することおよび与え難いということ両方ともが生じる fact5: 預金することおよび思しいということが起きる fact6: 和解することと参集することが起きるはぴわぴちゃLv.91事件は生じないということに引き起こされる fact7: 思しいということが発生する ; $hypothesis$ = 和解することが発生する ; $proof$ = 
fact5 -> int1: 「預金することが生じる」ということは確かだ; int1 & fact3 -> int2: 「預金することが生じるし利き難いということが起こる」ということは誤りでない; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__