このぷちゅぷにゃLv.98は混入し易い
fact1: もし折れ易いモンスターが罹り易くないとすれば混入し易くない fact2: 悍ましくないモンスターは折れ易いけれど罹り易いということはない fact3: もしも何らかのモンスターは掴み難くないとすると「それは塗装するかまたは表示するかどちらもだ」ということは成り立つということはない fact4: 全てのモンスターは混入し易い fact5: あのぴなぴのLv.95は混入し易い
fact4 -> int1: 全てのモンスターは混入し易い; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
このぷちゅぷにゃLv.98は混入し易くない
fact8 -> int2: 仮にこのぷちゅぷにゃLv.98が折れ易いがしかし罹り易くないならばこのぷちゅぷにゃLv.98は混入し易いということはない; fact6 -> int3: もし仮にこのぷちゅぷにゃLv.98が悍ましくないとするとそれは折れ易いしそれにそれは罹り易くない; fact7 -> int4: もしあのみちゅみにゃLv.84は掴み難くないとすると「あのみちゅみにゃLv.84は塗装するかあるいは表示するか両方である」ということは偽である;
$facts$ = fact1: もし折れ易いモンスターが罹り易くないとすれば混入し易くない fact2: 悍ましくないモンスターは折れ易いけれど罹り易いということはない fact3: もしも何らかのモンスターは掴み難くないとすると「それは塗装するかまたは表示するかどちらもだ」ということは成り立つということはない fact4: 全てのモンスターは混入し易い fact5: あのぴなぴのLv.95は混入し易い ; $hypothesis$ = このぷちゅぷにゃLv.98は混入し易い ; $proof$ = 
fact4 -> int1: 全てのモンスターは混入し易い; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__