「仮に若々しくないならば「ひ弱くない」ということは成り立つ」モンスターはいる
fact1: 「「首尾良くない」ということは誤っていないとしたら寒々しいということはない」モンスターはいる fact2: あのぽいぽゆLv.23が若々しいということはないならばあのぽいぽゆLv.23はひ弱くない fact3: もし「あのぽいぽゆLv.23は若々しいということはない」ということは事実ならばひ弱い fact4: もしとあるモンスターは繁殖し易くないならそれは難いということはない fact5: 「若々しいならばひ弱いということはない」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
「もしも繁殖し易くないとしたら難くない」モンスターはいる
fact6 -> int1: もし仮にこのぽねぽわLv.37は繁殖し易くないとしたら難くない; int1 -> hypothesis;
$facts$ = fact1: 「「首尾良くない」ということは誤っていないとしたら寒々しいということはない」モンスターはいる fact2: あのぽいぽゆLv.23が若々しいということはないならばあのぽいぽゆLv.23はひ弱くない fact3: もし「あのぽいぽゆLv.23は若々しいということはない」ということは事実ならばひ弱い fact4: もしとあるモンスターは繁殖し易くないならそれは難いということはない fact5: 「若々しいならばひ弱いということはない」モンスターはいる ; $hypothesis$ = 「仮に若々しくないならば「ひ弱くない」ということは成り立つ」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__