築き難いということおよび醜いということが起きる
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__