そのもなもにょLv.73は頼り無いということはない
fact1: 全てのモンスターは算定し難い fact2: あのぷのぷちょLv.23は頼り無い fact3: すべてのモンスターは頼り無い fact4: もしそのぴゆぴにゅLv.52が頼り無い一方で絶え間無くないとしたらそのもなもにょLv.73は頼り無くない fact5: このぽいぽいLv.13は頼り無い fact6: 「すべてのモンスターは蓄積出来る」ということは真実だ
fact3 -> int1: すべてのモンスターは頼り無い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
そのもなもにょLv.73は頼り無いということはない
$facts$ = fact1: 全てのモンスターは算定し難い fact2: あのぷのぷちょLv.23は頼り無い fact3: すべてのモンスターは頼り無い fact4: もしそのぴゆぴにゅLv.52が頼り無い一方で絶え間無くないとしたらそのもなもにょLv.73は頼り無くない fact5: このぽいぽいLv.13は頼り無い fact6: 「すべてのモンスターは蓄積出来る」ということは真実だ ; $hypothesis$ = そのもなもにょLv.73は頼り無いということはない ; $proof$ = 
fact3 -> int1: すべてのモンスターは頼り無い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__