「白いということが発生するしその上狡いということが起きる」ということは真実だ
fact1: 想像し難いということが起きる fact2: 呪わしいということおよび餓鬼っぽいということが起きるは取り下げることは起こらないということに起因する fact3: 呪わしいということが生じる fact4: 呪わしいということおよび取り下げることが生じる fact5: 狡いということが生じる fact6: 白いということは取り下げることが契機である fact7: もしも呪わしいということは起こらないとしたら「白いということと狡いということどちらもが生じる」ということは成り立たない
fact4 -> int1: 取り下げることが起こる; int1 & fact6 -> int2: 白いということが起きる; int2 & fact5 -> hypothesis;
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact5 -> hypothesis;
餓鬼っぽいということが生じる
$facts$ = fact1: 想像し難いということが起きる fact2: 呪わしいということおよび餓鬼っぽいということが起きるは取り下げることは起こらないということに起因する fact3: 呪わしいということが生じる fact4: 呪わしいということおよび取り下げることが生じる fact5: 狡いということが生じる fact6: 白いということは取り下げることが契機である fact7: もしも呪わしいということは起こらないとしたら「白いということと狡いということどちらもが生じる」ということは成り立たない ; $hypothesis$ = 「白いということが発生するしその上狡いということが起きる」ということは真実だ ; $proof$ = 
fact4 -> int1: 取り下げることが起こる; int1 & fact6 -> int2: 白いということが起きる; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__