苦しみ始めることが起きる
fact1: 苦しみ始めることが敬することと冷め易いということは発生するに防がれる fact2: もしも敬することは起こらないとすれば疑わしということが生じるし抱擁することが生じる fact3: 上がり難いということは発生しない fact4: 輝き始めることが生じる fact5: 抱擁することが発生する fact6: 冷め易いということが起きる fact7: 「抱擁することおよび敬することが起きる」ということは上がり難いということは発生しないということに引き起こされる
fact3 & fact7 -> int1: 抱擁することおよび敬すること両方が起こる; int1 -> int2: 敬することが起こる; int2 & fact6 -> int3: 敬することと冷め易いということが起きる; int3 & fact1 -> hypothesis;
fact3 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
輝き始めることと疑わしということが起こる
$facts$ = fact1: 苦しみ始めることが敬することと冷め易いということは発生するに防がれる fact2: もしも敬することは起こらないとすれば疑わしということが生じるし抱擁することが生じる fact3: 上がり難いということは発生しない fact4: 輝き始めることが生じる fact5: 抱擁することが発生する fact6: 冷め易いということが起きる fact7: 「抱擁することおよび敬することが起きる」ということは上がり難いということは発生しないということに引き起こされる ; $hypothesis$ = 苦しみ始めることが起きる ; $proof$ = 
fact3 & fact7 -> int1: 抱擁することおよび敬すること両方が起こる; int1 -> int2: 敬することが起こる; int2 & fact6 -> int3: 敬することと冷め易いということが起きる; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __DISPROVED__