そのぴなぴにゅLv.29は厚い
fact1: このぷちゃぷちゅLv.77は白々しくない fact2: もしこのぷちゃぷちゅLv.77は白々しいということはないならば「あのぽなぽよLv.48は生成し易いか御高い」ということは確かでない fact3: 仮にあのぽちょぽよLv.93が甘くないならばそのぴなぴにゅLv.29は厚い fact4: もし「あのぽなぽよLv.48は生成し易いかそれは御高いかどちらもだ」ということは偽であるとしたらあのぽちょぽよLv.93は甘くない
fact2 & fact1 -> int1: 「あのぽなぽよLv.48は生成し易いかそれは御高いかもしくは両方ともである」ということは偽である; int1 & fact4 -> int2: あのぽちょぽよLv.93は甘くない; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぷちゃぷちゅLv.77は白々しくない fact2: もしこのぷちゃぷちゅLv.77は白々しいということはないならば「あのぽなぽよLv.48は生成し易いか御高い」ということは確かでない fact3: 仮にあのぽちょぽよLv.93が甘くないならばそのぴなぴにゅLv.29は厚い fact4: もし「あのぽなぽよLv.48は生成し易いかそれは御高いかどちらもだ」ということは偽であるとしたらあのぽちょぽよLv.93は甘くない ; $hypothesis$ = そのぴなぴにゅLv.29は厚い ; $proof$ = 
fact2 & fact1 -> int1: 「あのぽなぽよLv.48は生成し易いかそれは御高いかもしくは両方ともである」ということは偽である; int1 & fact4 -> int2: あのぽちょぽよLv.93は甘くない; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis; __PROVED__