「仮に「恵み深くないけれど買い易い」ということは正しくないなら粘り強くない」モンスターはいる
fact1: もしも「あるモンスターは恥ずかしくないがしかしそれは汚れ難い」ということは間違っているとすればそれは人格化しない fact2: 仮に「あのぴよぴにょLv.66は恵み深くない一方で買い易い」ということは成り立たないとすればそれは粘り強い fact3: 「もし恵み深いということはないし買い易いとしたら粘り強くない」モンスターはいる fact4: もし仮に「あのぴよぴにょLv.66は恵み深くないけど買い易い」ということは誤っているとしたら「粘り強くない」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
「もし「恥ずかしくないけれど汚れ難い」ということは間違っているとしたら人格化しない」モンスターはいる
fact5 -> int1: もしも「「このぴちゃぴにゅLv.58は恥ずかしくないけど汚れ難い」ということは嘘である」ということは成り立つとしたらこのぴちゃぴにゅLv.58は人格化しない; int1 -> hypothesis;
$facts$ = fact1: もしも「あるモンスターは恥ずかしくないがしかしそれは汚れ難い」ということは間違っているとすればそれは人格化しない fact2: 仮に「あのぴよぴにょLv.66は恵み深くない一方で買い易い」ということは成り立たないとすればそれは粘り強い fact3: 「もし恵み深いということはないし買い易いとしたら粘り強くない」モンスターはいる fact4: もし仮に「あのぴよぴにょLv.66は恵み深くないけど買い易い」ということは誤っているとしたら「粘り強くない」ということは成り立つ ; $hypothesis$ = 「仮に「恵み深くないけれど買い易い」ということは正しくないなら粘り強くない」モンスターはいる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
fact4 -> hypothesis; __PROVED__