「もし「労労じないし遜色無い」ということは嘘なら早し」モンスターはいる
fact1: もし「あのぽゆぽちょLv.24は労労じないけど遜色無い」ということは真実でないとすれば早し fact2: 「もし仮に出来易くないがしかし生活し易いとしたら狙い難い」モンスターはいる fact3: 「遜色無いということはないとすると早し」モンスターはいる fact4: もしこのみねみくLv.9が引っ込めるということはないけど淡いならばそれは遜色無い fact5: もし「あるモンスターは堆くないがそれはめでたし」ということは成り立つということはないなら早し fact6: 「言い逃れるならっ早い」モンスターはいる
fact1 -> hypothesis;
fact1 -> hypothesis;
もし「このもわもくLv.8は堆くないけれどそれはめでたし」ということは真実でないならばそれは早し
fact7 -> hypothesis;
$facts$ = fact1: もし「あのぽゆぽちょLv.24は労労じないけど遜色無い」ということは真実でないとすれば早し fact2: 「もし仮に出来易くないがしかし生活し易いとしたら狙い難い」モンスターはいる fact3: 「遜色無いということはないとすると早し」モンスターはいる fact4: もしこのみねみくLv.9が引っ込めるということはないけど淡いならばそれは遜色無い fact5: もし「あるモンスターは堆くないがそれはめでたし」ということは成り立つということはないなら早し fact6: 「言い逃れるならっ早い」モンスターはいる ; $hypothesis$ = 「もし「労労じないし遜色無い」ということは嘘なら早し」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__