「仮に快諾しないならば住み良い」モンスターはいる
fact1: 間違い易いモンスターは吐く fact2: 仮に何らかのモンスターが快諾しないとすれば住み良い fact3: 熱いモンスターは傷付け易い fact4: 「もし仮に快諾するとすれば住み良い」モンスターはいる fact5: もしもこのもえもねLv.72は快諾するとしたら「住み良い」ということは確かだ
fact2 -> int1: もしも「このもえもねLv.72は快諾しない」ということは真実ならば「それは住み良い」ということは正しい; int1 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 間違い易いモンスターは吐く fact2: 仮に何らかのモンスターが快諾しないとすれば住み良い fact3: 熱いモンスターは傷付け易い fact4: 「もし仮に快諾するとすれば住み良い」モンスターはいる fact5: もしもこのもえもねLv.72は快諾するとしたら「住み良い」ということは確かだ ; $hypothesis$ = 「仮に快諾しないならば住み良い」モンスターはいる ; $proof$ = 
fact2 -> int1: もしも「このもえもねLv.72は快諾しない」ということは真実ならば「それは住み良い」ということは正しい; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis; __PROVED__