「生易しくてさらにひょろ長いならば刺々しくない」モンスターはいる
fact1: 「喧しいし更に慌ただしいとすると誤り無くない」モンスターはいる fact2: 利用し辛いモンスターが太しとすればそれは色っぽいということはない fact3: 「妬ましくて形成され易いならばそつ無い」モンスターはいる fact4: もしもそのぽゆぽのLv.47が生易しいしまたそれがひょろ長いならばそのぽゆぽのLv.47は刺々しくない fact5: 「もし仮に生易しくてまたひょろ長いとすると刺々しい」モンスターはいる fact6: もし仮にそのぽゆぽのLv.47が生易しいしそれはひょろ長いとすると「刺々しい」ということは誤っていない
fact4 -> hypothesis;
fact4 -> hypothesis;
もし仮にそのぽゆぽのLv.47は利用し辛くてかつ太しならばそれは色っぽくない
fact7 -> hypothesis;
$facts$ = fact1: 「喧しいし更に慌ただしいとすると誤り無くない」モンスターはいる fact2: 利用し辛いモンスターが太しとすればそれは色っぽいということはない fact3: 「妬ましくて形成され易いならばそつ無い」モンスターはいる fact4: もしもそのぽゆぽのLv.47が生易しいしまたそれがひょろ長いならばそのぽゆぽのLv.47は刺々しくない fact5: 「もし仮に生易しくてまたひょろ長いとすると刺々しい」モンスターはいる fact6: もし仮にそのぽゆぽのLv.47が生易しいしそれはひょろ長いとすると「刺々しい」ということは誤っていない ; $hypothesis$ = 「生易しくてさらにひょろ長いならば刺々しくない」モンスターはいる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
fact4 -> hypothesis; __PROVED__