見境無いということが起こるしまた空恐ろしいということが起きる
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__