好ましいということが起こるししかも御有りに成ることが発生する
fact1: 好ましいということが起きる fact2: 御有りに成ることが起こる
fact1 -> int1: 好ましいということが起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 好ましいということが起きる fact2: 御有りに成ることが起こる ; $hypothesis$ = 好ましいということが起こるししかも御有りに成ることが発生する ; $proof$ = 
fact1 -> int1: 好ましいということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__