真っ黒いということかもしくは生み易いということが生じる
fact1: 真っ黒いということが起こる
fact1 -> int1: 真っ黒いということが起こる; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: 真っ黒いということが起こる ; $hypothesis$ = 真っ黒いということかもしくは生み易いということが生じる ; $proof$ = 
fact1 -> int1: 真っ黒いということが起こる; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __PROVED__