消え始めることが起きる
fact1: 仮に弾き易いということが発生するとすれば消え始めることが起こらないしそれに安過ぎることは起こらない fact2: 消え始めることは起きないということは安過ぎることに防がれる fact3: 「安過ぎることが生じる」ということは確かである
fact3 -> int1: 「安過ぎることが生じる」ということは確かである; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> hypothesis;
消え始めることは生じない
$facts$ = fact1: 仮に弾き易いということが発生するとすれば消え始めることが起こらないしそれに安過ぎることは起こらない fact2: 消え始めることは起きないということは安過ぎることに防がれる fact3: 「安過ぎることが生じる」ということは確かである ; $hypothesis$ = 消え始めることが起きる ; $proof$ = 
fact3 -> int1: 「安過ぎることが生じる」ということは確かである; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__