あのもにゅもゆLv.13は立ち入る
fact1: 仮にあのもにゅもゆLv.13が出し難いがしかし感染し易くないとすれば「あのもにゅもゆLv.13は立ち入らない」ということは嘘である fact2: 仮に何らかのモンスターが取り辛いとすれば出し難いけれど感染し易くない fact3: あのもにゅもゆLv.13は出し難い fact4: あのもにゅもゆLv.13は取り辛い fact5: 仮にあのもにゅもゆLv.13は取り辛いなら「出し難い」ということは成り立つ
fact2 -> int1: もし仮にあのもにゅもゆLv.13が取り辛いならそれは出し難い一方で感染し易くない; int1 & fact4 -> int2: あのもにゅもゆLv.13は出し難いが感染し易いということはない; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのもにゅもゆLv.13が出し難いがしかし感染し易くないとすれば「あのもにゅもゆLv.13は立ち入らない」ということは嘘である fact2: 仮に何らかのモンスターが取り辛いとすれば出し難いけれど感染し易くない fact3: あのもにゅもゆLv.13は出し難い fact4: あのもにゅもゆLv.13は取り辛い fact5: 仮にあのもにゅもゆLv.13は取り辛いなら「出し難い」ということは成り立つ ; $hypothesis$ = あのもにゅもゆLv.13は立ち入る ; $proof$ = 
fact2 -> int1: もし仮にあのもにゅもゆLv.13が取り辛いならそれは出し難い一方で感染し易くない; int1 & fact4 -> int2: あのもにゅもゆLv.13は出し難いが感染し易いということはない; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> hypothesis; __PROVED__