「仮に「身軽くなくて更にしぶとくない」ということは真実ならば回りくどい」モンスターはいる
fact1: 「もしも身軽くなくてしぶといなら回りくどい」モンスターはいる fact2: もしそのぽちょぽゆLv.2が身軽くなくて加えてしぶとくないとすればそのぽちょぽゆLv.2は回りくどい fact3: せせこましくないモンスターで感じ捲るということはないモンスターは勿体無くない fact4: そのぽちょぽゆLv.2が身軽いということはない一方でしぶといとするとそのぽちょぽゆLv.2は回りくどい
fact2 -> hypothesis;
fact2 -> hypothesis;
「「もし仮にせせこましくないし加えて感じ捲らないとしたら「勿体無い」ということは偽でない」モンスターはいる」ということは確かである
fact5 -> int1: もし仮にあのみにゃみわLv.26はせせこましくないし感じ捲らないとすると「それは勿体無い」ということは嘘でない; int1 -> hypothesis;
$facts$ = fact1: 「もしも身軽くなくてしぶといなら回りくどい」モンスターはいる fact2: もしそのぽちょぽゆLv.2が身軽くなくて加えてしぶとくないとすればそのぽちょぽゆLv.2は回りくどい fact3: せせこましくないモンスターで感じ捲るということはないモンスターは勿体無くない fact4: そのぽちょぽゆLv.2が身軽いということはない一方でしぶといとするとそのぽちょぽゆLv.2は回りくどい ; $hypothesis$ = 「仮に「身軽くなくて更にしぶとくない」ということは真実ならば回りくどい」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__