「もし出し易いということはないならば復興するが薄明るくない」モンスターはいる
fact1: 出し易くないモンスターは復興する一方で薄明るくない fact2: もしもあるモンスターが推し量れないとするとごっついしおまけにそれは出難いということはない fact3: そのぽわぽにゅLv.24がもどかしくないとすればそのぽわぽにゅLv.24は薄明るいがそれは置き易くない fact4: 仮にとあるモンスターが脆いとするとそれは運び易いけど果てし無くない fact5: 何らかのモンスターが反転しないとすれば等し
fact1 -> int1: 仮にこのぽにょぽやLv.76が出し易いということはないとしたらそれは復興するけれど薄明るいということはない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 出し易くないモンスターは復興する一方で薄明るくない fact2: もしもあるモンスターが推し量れないとするとごっついしおまけにそれは出難いということはない fact3: そのぽわぽにゅLv.24がもどかしくないとすればそのぽわぽにゅLv.24は薄明るいがそれは置き易くない fact4: 仮にとあるモンスターが脆いとするとそれは運び易いけど果てし無くない fact5: 何らかのモンスターが反転しないとすれば等し ; $hypothesis$ = 「もし出し易いということはないならば復興するが薄明るくない」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮にこのぽにょぽやLv.76が出し易いということはないとしたらそれは復興するけれど薄明るいということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__