「仮に期待し難いし広がり易くないならば優し」モンスターはいる
fact1: 「もしも晒され易くて普請しないとすると甘ったるい」モンスターはいる fact2: とあるモンスターは把握し難いけど仕方無くないならば「痛ましくない」ということは偽である fact3: もし仮にあのぽちゅぽえLv.43が期待し難いしおまけに広がり易いとするとあのぽちゅぽえLv.43は優し fact4: もしあのぽちゅぽえLv.43は期待し難いが広がり易くないならばそれは優し
fact4 -> hypothesis;
fact4 -> hypothesis;
「把握し難いけれど仕方無くないならば痛ましい」モンスターはいる
fact5 -> int1: もし「そのみねみちょLv.13は把握し難いがしかしそれは仕方無くない」ということは成り立つとすればそのみねみちょLv.13は痛ましい; int1 -> hypothesis;
$facts$ = fact1: 「もしも晒され易くて普請しないとすると甘ったるい」モンスターはいる fact2: とあるモンスターは把握し難いけど仕方無くないならば「痛ましくない」ということは偽である fact3: もし仮にあのぽちゅぽえLv.43が期待し難いしおまけに広がり易いとするとあのぽちゅぽえLv.43は優し fact4: もしあのぽちゅぽえLv.43は期待し難いが広がり易くないならばそれは優し ; $hypothesis$ = 「仮に期待し難いし広がり易くないならば優し」モンスターはいる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
fact4 -> hypothesis; __PROVED__