あのみにょみやLv.70は印象深い
fact1: 灯し難くないモンスターは大人気無い fact2: 仮にこのまにゅまゆLv.44が伝え難いとすればあのみにょみやLv.70は印象深い fact3: このまにゅまゆLv.44は灯し難くて更に予測し難い fact4: 仮にこのまにゅまゆLv.44が灯し難いならばそれは伝え難い
fact3 -> int1: このまにゅまゆLv.44は灯し難い; int1 & fact4 -> int2: このまにゅまゆLv.44は伝え難い; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
あのもえもいLv.84は大人気無くておまけに気安い
fact5 -> int3: 仮にあのもえもいLv.84が灯し難いということはないとしたら大人気無い;
$facts$ = fact1: 灯し難くないモンスターは大人気無い fact2: 仮にこのまにゅまゆLv.44が伝え難いとすればあのみにょみやLv.70は印象深い fact3: このまにゅまゆLv.44は灯し難くて更に予測し難い fact4: 仮にこのまにゅまゆLv.44が灯し難いならばそれは伝え難い ; $hypothesis$ = あのみにょみやLv.70は印象深い ; $proof$ = 
fact3 -> int1: このまにゅまゆLv.44は灯し難い; int1 & fact4 -> int2: このまにゅまゆLv.44は伝え難い; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__