あのまちょまちゅLv.32は頼り無い
fact1: あのまちょまちゅLv.32は清々しい fact2: なんらかのモンスターが程無いとするとそれは頼り無い fact3: あらゆるモンスターは頼り無い fact4: あらゆるモンスターは限り無し
fact3 -> int1: あらゆるモンスターは頼り無い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのみにゅみなLv.88は頼り無い
fact5 -> int2: もし「あのみにゅみなLv.88は程無い」ということは正しいとすればそれは頼り無い;
$facts$ = fact1: あのまちょまちゅLv.32は清々しい fact2: なんらかのモンスターが程無いとするとそれは頼り無い fact3: あらゆるモンスターは頼り無い fact4: あらゆるモンスターは限り無し ; $hypothesis$ = あのまちょまちゅLv.32は頼り無い ; $proof$ = 
fact3 -> int1: あらゆるモンスターは頼り無い; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__