あのもえもにゅLv.48はほくほくする
fact1: もしとあるモンスターが弁解がましくらないとするとそれはほくほくしないけれど他愛無い fact2: 全てのモンスターはほくほくする fact3: 仮に何らかのモンスターは理解し易いなら「それは吝くないけど弁解がましい」ということは嘘である fact4: あらゆるモンスターは取り難い fact5: もしもこのもよもなLv.1は御達しない一方で通り易いとすると「あのぷゆぷにゃLv.69は理解し易い」ということは真実である fact6: 仮にあるモンスターが吝くないけど理解し易いとしたらそれは弁解がましかない
fact2 -> int1: 全てのモンスターはほくほくする; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのもえもにゅLv.48はほくほくしない
fact7 -> int2: もしあのぷゆぷにゃLv.69は理解し易いとしたら「それは吝くなくてそれは弁解がましい」ということは間違っている;
$facts$ = fact1: もしとあるモンスターが弁解がましくらないとするとそれはほくほくしないけれど他愛無い fact2: 全てのモンスターはほくほくする fact3: 仮に何らかのモンスターは理解し易いなら「それは吝くないけど弁解がましい」ということは嘘である fact4: あらゆるモンスターは取り難い fact5: もしもこのもよもなLv.1は御達しない一方で通り易いとすると「あのぷゆぷにゃLv.69は理解し易い」ということは真実である fact6: 仮にあるモンスターが吝くないけど理解し易いとしたらそれは弁解がましかない ; $hypothesis$ = あのもえもにゅLv.48はほくほくする ; $proof$ = 
fact2 -> int1: 全てのモンスターはほくほくする; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__