このぴえぴにょLv.77は取り辛くない
fact1: もし仮にあのぴのぴいLv.66が研鑽すればこのぴえぴにょLv.77は伝授する fact2: もしあのぴのぴいLv.66が伝授するならこのぴえぴにょLv.77は研鑽する fact3: それは伝え難くないがしかし掛け易いというモンスターはない fact4: 「もしもこのぴえぴにょLv.77が伝授するしまたそれは掛け易いとしたら「このぴえぴにょLv.77は取り辛くない」ということは成り立つ」ということは正しい fact5: このぴえぴにょLv.77は掛け易い fact6: あのぴのぴいLv.66は研鑽する
fact1 & fact6 -> int1: このぴえぴにょLv.77は伝授する; int1 & fact5 -> int2: このぴえぴにょLv.77は伝授するし掛け易い; int2 & fact4 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis;
このぴえぴにょLv.77は取り辛い
fact7 -> int3: 「あのぴのぴいLv.66は伝え難くないけどそれは掛け易い」ということは事実と異なる;
$facts$ = fact1: もし仮にあのぴのぴいLv.66が研鑽すればこのぴえぴにょLv.77は伝授する fact2: もしあのぴのぴいLv.66が伝授するならこのぴえぴにょLv.77は研鑽する fact3: それは伝え難くないがしかし掛け易いというモンスターはない fact4: 「もしもこのぴえぴにょLv.77が伝授するしまたそれは掛け易いとしたら「このぴえぴにょLv.77は取り辛くない」ということは成り立つ」ということは正しい fact5: このぴえぴにょLv.77は掛け易い fact6: あのぴのぴいLv.66は研鑽する ; $hypothesis$ = このぴえぴにょLv.77は取り辛くない ; $proof$ = 
fact1 & fact6 -> int1: このぴえぴにょLv.77は伝授する; int1 & fact5 -> int2: このぴえぴにょLv.77は伝授するし掛け易い; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis; __PROVED__