あのぴよぴえLv.73は艶めかしいしその上頼り無い
fact1: もし「なにがしかのモンスターは気付き易くてさらに怪し」ということは嘘であるなら高くない fact2: あのぴよぴえLv.73は頼り無い fact3: 「犯し難いモンスターは空しくないけれど確認し難い」ということは確かだ fact4: そのみにゅみにゃLv.12は頼り無い fact5: 「あらゆるモンスターは犯し難い」ということは確かである fact6: あのぴよぴえLv.73は艶めかしい fact7: そのぴゆぴのLv.60は高くないならば「あのぴよぴえLv.73は艶めかしいしそれは頼り無い」ということは間違いである
fact6 -> int1: あのぴよぴえLv.73は艶めかしい; int1 & fact2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「あのぴよぴえLv.73は艶めかしいし頼り無い」ということは誤りだ
fact9 -> int2: もし「そのぴゆぴのLv.60は気付き易いしその上怪し」ということは間違いであるならばそのぴゆぴのLv.60は高くない; fact11 -> int3: 仮にこのみにゅみよLv.89が犯し難いとするとこのみにゅみよLv.89は空しくないが確認し難い; fact10 -> int4: このみにゅみよLv.89は犯し難い; int3 & int4 -> int5: このみにゅみよLv.89は空しくない一方でそれは確認し難い; int5 -> int6: このみにゅみよLv.89は空しいということはない;
$facts$ = fact1: もし「なにがしかのモンスターは気付き易くてさらに怪し」ということは嘘であるなら高くない fact2: あのぴよぴえLv.73は頼り無い fact3: 「犯し難いモンスターは空しくないけれど確認し難い」ということは確かだ fact4: そのみにゅみにゃLv.12は頼り無い fact5: 「あらゆるモンスターは犯し難い」ということは確かである fact6: あのぴよぴえLv.73は艶めかしい fact7: そのぴゆぴのLv.60は高くないならば「あのぴよぴえLv.73は艶めかしいしそれは頼り無い」ということは間違いである ; $hypothesis$ = あのぴよぴえLv.73は艶めかしいしその上頼り無い ; $proof$ = 
fact6 -> int1: あのぴよぴえLv.73は艶めかしい; int1 & fact2 -> hypothesis; __PROVED__
fact6 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__