そのぴゆぴやLv.32は多い
fact1: 仮に「そのぴゆぴやLv.32は与え難くない一方で手っ取り早い」ということは嘘であるならば多い fact2: 「そのぴゆぴやLv.32は免れ難くてそれに与え易い」ということは事実と異なる fact3: もしそのぴゆぴやLv.32が免れ難いとすれば性分らしい fact4: 「何らかのモンスターは免れ難くないが与え易い」ということは正しくないならそれは性分らしい fact5: 「そのぴゆぴやLv.32は免れ難くないけど与え易い」ということは嘘である fact6: 性分らしいモンスターは多い fact7: 免れ難いモンスターは性分らしい fact8: もしもなにがしかのモンスターが咽べば性分らしくないし加えてそれはくどいということはない
fact4 -> int1: もし仮に「「「そのぴゆぴやLv.32は免れ難くないがそれは与え易い」ということは本当だ」ということは誤っている」ということは本当であるとするとそのぴゆぴやLv.32は性分らしい; int1 & fact5 -> int2: そのぴゆぴやLv.32は性分らしい; fact6 -> int3: もし仮にそのぴゆぴやLv.32が性分らしいとしたらそのぴゆぴやLv.32は多い; int2 & int3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; fact6 -> int3: {B}{aa} -> {A}{aa}; int2 & int3 -> hypothesis;
このもにゃもえLv.54は免れ難い
fact9 -> int4: もし仮にこのみにゅみにLv.52が咽ぶとしたらそれは性分らしくないしかつくどくない;
$facts$ = fact1: 仮に「そのぴゆぴやLv.32は与え難くない一方で手っ取り早い」ということは嘘であるならば多い fact2: 「そのぴゆぴやLv.32は免れ難くてそれに与え易い」ということは事実と異なる fact3: もしそのぴゆぴやLv.32が免れ難いとすれば性分らしい fact4: 「何らかのモンスターは免れ難くないが与え易い」ということは正しくないならそれは性分らしい fact5: 「そのぴゆぴやLv.32は免れ難くないけど与え易い」ということは嘘である fact6: 性分らしいモンスターは多い fact7: 免れ難いモンスターは性分らしい fact8: もしもなにがしかのモンスターが咽べば性分らしくないし加えてそれはくどいということはない ; $hypothesis$ = そのぴゆぴやLv.32は多い ; $proof$ = 
fact4 -> int1: もし仮に「「「そのぴゆぴやLv.32は免れ難くないがそれは与え易い」ということは本当だ」ということは誤っている」ということは本当であるとするとそのぴゆぴやLv.32は性分らしい; int1 & fact5 -> int2: そのぴゆぴやLv.32は性分らしい; fact6 -> int3: もし仮にそのぴゆぴやLv.32が性分らしいとしたらそのぴゆぴやLv.32は多い; int2 & int3 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; fact6 -> int3: {B}{aa} -> {A}{aa}; int2 & int3 -> hypothesis; __PROVED__