溜まり易いということが起こる
fact1: 慈悲深いということが起こる fact2: 馬鹿でかいということとまにょまいLv.37事件両方が起こる fact3: 「馬鹿でかいということおよび慈悲深いということが発生する」ということは「溜まり易いということは生じない」ということの原因となる
fact2 -> int1: 馬鹿でかいということが生じる; int1 & fact1 -> int2: 馬鹿でかいということが生じるし慈悲深いということが起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 慈悲深いということが起こる fact2: 馬鹿でかいということとまにょまいLv.37事件両方が起こる fact3: 「馬鹿でかいということおよび慈悲深いということが発生する」ということは「溜まり易いということは生じない」ということの原因となる ; $hypothesis$ = 溜まり易いということが起こる ; $proof$ = 
fact2 -> int1: 馬鹿でかいということが生じる; int1 & fact1 -> int2: 馬鹿でかいということが生じるし慈悲深いということが起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__