「仮に許し難しということはないなら走り寄るがしかし取り組み易くない」モンスターはいる
fact1: あのもなもにLv.0が許し難しということはないならあのもなもにLv.0は走り寄るしそれは取り組み易い fact2: もし仮にあのみちょみくLv.27が取り組み易くないとしたらあのみちょみくLv.27はバランス良いけれど深しない fact3: もし仮に「あのもなもにLv.0は許し難くない」ということは本当であるとしたら走り寄るけれど取り組み易くない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: あのもなもにLv.0が許し難しということはないならあのもなもにLv.0は走り寄るしそれは取り組み易い fact2: もし仮にあのみちょみくLv.27が取り組み易くないとしたらあのみちょみくLv.27はバランス良いけれど深しない fact3: もし仮に「あのもなもにLv.0は許し難くない」ということは本当であるとしたら走り寄るけれど取り組み易くない ; $hypothesis$ = 「仮に許し難しということはないなら走り寄るがしかし取り組み易くない」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__