このぴにゅぴちょLv.63は気難しいかあるいは否決するかまたは両方ともである
fact1: このぴのぴちょLv.23は気難しい fact2: あのぽにぽにゅLv.21はかわゆい fact3: 仮にあのぽにぽにゅLv.21が否決するならこのぴにゅぴちょLv.63は気難しい fact4: 仮にあのぽにぽにゅLv.21が清々しいとすればこのぴにゅぴちょLv.63は気難しい fact5: このぴにゅぴちょLv.63は気難しいかまたはそれは清々しいか両方ともだ fact6: あのぽにぽにゅLv.21は清々しい fact7: もし仮にとあるモンスターは清々しくないとすると「それは気難しいかあるいは否決するかまたは両方だ」ということは事実と異なる
fact4 & fact6 -> int1: このぴにゅぴちょLv.63は気難しい; int1 -> hypothesis;
fact4 & fact6 -> int1: {B}{b}; int1 -> hypothesis;
「このぴにゅぴちょLv.63は気難しいかそれは否決する」ということは正しくない
fact8 -> int2: もし仮にこのぴにゅぴちょLv.63は清々しいということはないとすると「このぴにゅぴちょLv.63は気難しいか否決する」ということは成り立たない;
$facts$ = fact1: このぴのぴちょLv.23は気難しい fact2: あのぽにぽにゅLv.21はかわゆい fact3: 仮にあのぽにぽにゅLv.21が否決するならこのぴにゅぴちょLv.63は気難しい fact4: 仮にあのぽにぽにゅLv.21が清々しいとすればこのぴにゅぴちょLv.63は気難しい fact5: このぴにゅぴちょLv.63は気難しいかまたはそれは清々しいか両方ともだ fact6: あのぽにぽにゅLv.21は清々しい fact7: もし仮にとあるモンスターは清々しくないとすると「それは気難しいかあるいは否決するかまたは両方だ」ということは事実と異なる ; $hypothesis$ = このぴにゅぴちょLv.63は気難しいかあるいは否決するかまたは両方ともである ; $proof$ = 
fact4 & fact6 -> int1: このぴにゅぴちょLv.63は気難しい; int1 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {B}{b}; int1 -> hypothesis; __PROVED__