「「晴々しい一方で大人っぽくない」ということは成り立たないとすれば化しない」モンスターはいる
fact1: もし「そのぽちゅぽねLv.4は晴々しいが大人っぽくない」ということは誤りだとしたらそれは化しない fact2: もし仮に「何らかのモンスターは破れ難いけれどそれは如何わしくない」ということは嘘だとすれば聞き取り難くない fact3: 「晴々しかないならば化しない」モンスターはいる fact4: 「仮に低下出来るなら長細くない」モンスターはいる fact5: 「仮に大人っぽいならば化しない」モンスターはいる
fact1 -> hypothesis;
fact1 -> hypothesis;
「もしも「破れ難いしそれに如何わしくない」ということは嘘なら聞き取り難くない」モンスターはいる
fact6 -> int1: もし仮に「そのみちゅみよLv.56は破れ難いがしかし如何わしくない」ということは成り立つということはないとしたらそれは聞き取り難くない; int1 -> hypothesis;
$facts$ = fact1: もし「そのぽちゅぽねLv.4は晴々しいが大人っぽくない」ということは誤りだとしたらそれは化しない fact2: もし仮に「何らかのモンスターは破れ難いけれどそれは如何わしくない」ということは嘘だとすれば聞き取り難くない fact3: 「晴々しかないならば化しない」モンスターはいる fact4: 「仮に低下出来るなら長細くない」モンスターはいる fact5: 「仮に大人っぽいならば化しない」モンスターはいる ; $hypothesis$ = 「「晴々しい一方で大人っぽくない」ということは成り立たないとすれば化しない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__