このぽのぽにゅLv.48は顧慮する
fact1: 全てのモンスターは悪賢い fact2: そのぴやぴゆLv.34は顧慮する fact3: 全てのモンスターは顧慮する fact4: もし仮にそのまちょまちょLv.66が薄っぺらいということはないならばこのぽのぽにゅLv.48は顧慮しないし加えてアクセスし易くない
fact3 -> int1: 全てのモンスターは顧慮する; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このぽのぽにゅLv.48は顧慮しない
$facts$ = fact1: 全てのモンスターは悪賢い fact2: そのぴやぴゆLv.34は顧慮する fact3: 全てのモンスターは顧慮する fact4: もし仮にそのまちょまちょLv.66が薄っぺらいということはないならばこのぽのぽにゅLv.48は顧慮しないし加えてアクセスし易くない ; $hypothesis$ = このぽのぽにゅLv.48は顧慮する ; $proof$ = 
fact3 -> int1: 全てのモンスターは顧慮する; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__