そのぷくぷにゅLv.66は忘れ難い
fact1: もしもタイトルらしいモンスターが溜め込み易いならばそれは捕捉しない fact2: あらゆるモンスターは溜め込み易い fact3: 「あらゆるモンスターは忘れ難い」ということは間違いでない
fact3 -> int1: 「あらゆるモンスターは忘れ難い」ということは間違いでない; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは重たい
fact4 -> int2: そのぷくぷにゅLv.66はタイトルらしいし溜め込み易いなら捕捉しない; fact5 -> int3: そのぷくぷにゅLv.66は溜め込み易い;
$facts$ = fact1: もしもタイトルらしいモンスターが溜め込み易いならばそれは捕捉しない fact2: あらゆるモンスターは溜め込み易い fact3: 「あらゆるモンスターは忘れ難い」ということは間違いでない ; $hypothesis$ = そのぷくぷにゅLv.66は忘れ難い ; $proof$ = 
fact3 -> int1: 「あらゆるモンスターは忘れ難い」ということは間違いでない; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__