このぷやぷにLv.12はむくつけししさらに退色し易い
fact1: このぷやぷにLv.12は抗し難い fact2: このぷやぷにLv.12は退色し易い fact3: 日本人らしいモンスターは抗し難くなくておまけにかったるいということはない fact4: このぷやぷにLv.12はむくつけししそれに抗し難い fact5: もしなにがしかのモンスターは抗し難くないとしたら「それはむくつけしし加えて退色し易い」ということは事実と異なる
fact4 -> int1: このぷやぷにLv.12はむくつけし; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「このぷやぷにLv.12はむくつけしし退色し易い」ということは成り立たない
fact6 -> int2: もしこのぷやぷにLv.12は抗し難くないとしたら「むくつけししその上退色し易い」ということは偽だ; fact7 -> int3: 「もしもこのぷやぷにLv.12が日本人らしいならばこのぷやぷにLv.12は抗し難くないしおまけにそれはかったるいということはない」ということは真実だ;
$facts$ = fact1: このぷやぷにLv.12は抗し難い fact2: このぷやぷにLv.12は退色し易い fact3: 日本人らしいモンスターは抗し難くなくておまけにかったるいということはない fact4: このぷやぷにLv.12はむくつけししそれに抗し難い fact5: もしなにがしかのモンスターは抗し難くないとしたら「それはむくつけしし加えて退色し易い」ということは事実と異なる ; $hypothesis$ = このぷやぷにLv.12はむくつけししさらに退色し易い ; $proof$ = 
fact4 -> int1: このぷやぷにLv.12はむくつけし; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__