青しということが発生するし経過することが起きる
fact1: 予測し難いということと経過することどちらもが発生する fact2: 青しということが生じる
fact1 -> int1: 経過することが発生する; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 予測し難いということと経過することどちらもが発生する fact2: 青しということが生じる ; $hypothesis$ = 青しということが発生するし経過することが起きる ; $proof$ = 
fact1 -> int1: 経過することが発生する; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__