「このぴえぴくLv.57は捗々しくない」ということは成り立つ
fact1: このぴえぴくLv.57はか弱くて加えてむず痒い fact2: もしあのみくみよLv.74が倒錯しないがしかし彩色するとしたらこのぴえぴくLv.57はむず痒くない fact3: このぴえぴくLv.57は彩色する fact4: むず痒くないモンスターは捗々しいしか弱い fact5: あのみよみくLv.78は彩色する fact6: 仮にこのぴよぴにゅLv.71は倒錯しないならば「あのみくみよLv.74は倒錯しない」ということは成り立つ fact7: もしもこのぴえぴくLv.57がか弱くてさらに彩色するとしたらこのぴえぴくLv.57は捗々しくない
fact1 -> int1: 「このぴえぴくLv.57はか弱い」ということは偽でない; int1 & fact3 -> int2: このぴえぴくLv.57はか弱くてまた彩色する; int2 & fact7 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact7 -> hypothesis;
このぴえぴくLv.57は捗々しい
fact8 -> int3: もし仮にこのぴえぴくLv.57がむず痒くないとしたらそれは捗々しいし更にか弱い;
$facts$ = fact1: このぴえぴくLv.57はか弱くて加えてむず痒い fact2: もしあのみくみよLv.74が倒錯しないがしかし彩色するとしたらこのぴえぴくLv.57はむず痒くない fact3: このぴえぴくLv.57は彩色する fact4: むず痒くないモンスターは捗々しいしか弱い fact5: あのみよみくLv.78は彩色する fact6: 仮にこのぴよぴにゅLv.71は倒錯しないならば「あのみくみよLv.74は倒錯しない」ということは成り立つ fact7: もしもこのぴえぴくLv.57がか弱くてさらに彩色するとしたらこのぴえぴくLv.57は捗々しくない ; $hypothesis$ = 「このぴえぴくLv.57は捗々しくない」ということは成り立つ ; $proof$ = 
fact1 -> int1: 「このぴえぴくLv.57はか弱い」ということは偽でない; int1 & fact3 -> int2: このぴえぴくLv.57はか弱くてまた彩色する; int2 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact7 -> hypothesis; __PROVED__