あのぽゆぽにょLv.79は付け難い
fact1: もしも「あのぽゆぽにょLv.79は薄青いがしかし送稿しない」ということは事実と異なるとしたらそれは付け難くない fact2: そのまにゃまちゃLv.9があどけなくないならそのまゆまにゃLv.88は付け難い fact3: 仮に「そのまゆまにゃLv.88は付け難い」ということは成り立てばあのぽゆぽにょLv.79は付け難い fact4: それは送稿するがしかし付け難いということはないというモンスターはない fact5: もしなんらかのモンスターが見られ易くなくてそれに恐ろしくないとしたらあどけなくない fact6: 仮にあのぽゆぽにょLv.79が薄青くないならそれは付け難くない fact7: 薄青いしそれは送稿しないというモンスターはない
fact7 -> int1: 「あのぽゆぽにょLv.79は薄青いけれど送稿しない」ということは間違いである; int1 & fact1 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
あのぽゆぽにょLv.79は付け難い
fact10 -> int2: もしそのぽよぽわLv.55が見られ易いということはなくてかつそれが恐ろしくないならばそのぽよぽわLv.55はあどけなくない;
$facts$ = fact1: もしも「あのぽゆぽにょLv.79は薄青いがしかし送稿しない」ということは事実と異なるとしたらそれは付け難くない fact2: そのまにゃまちゃLv.9があどけなくないならそのまゆまにゃLv.88は付け難い fact3: 仮に「そのまゆまにゃLv.88は付け難い」ということは成り立てばあのぽゆぽにょLv.79は付け難い fact4: それは送稿するがしかし付け難いということはないというモンスターはない fact5: もしなんらかのモンスターが見られ易くなくてそれに恐ろしくないとしたらあどけなくない fact6: 仮にあのぽゆぽにょLv.79が薄青くないならそれは付け難くない fact7: 薄青いしそれは送稿しないというモンスターはない ; $hypothesis$ = あのぽゆぽにょLv.79は付け難い ; $proof$ = 
fact7 -> int1: 「あのぽゆぽにょLv.79は薄青いけれど送稿しない」ということは間違いである; int1 & fact1 -> hypothesis; __DISPROVED__
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__