このぷにょぷよLv.49は溶け易い
fact1: 溶け易いモンスターは調和し難い fact2: 「もし「あのもわもにょLv.81は調和し難くないが仄白い」ということは正しいとすればあのもわもにょLv.81は痛い」ということは確かだ fact3: あのもわもにょLv.81が痛いならばこのぷにょぷよLv.49は溶け易い
このぷにゃぷいLv.64は調和し難い
fact4 -> int1: もし「このぷにゃぷいLv.64は溶け易い」ということは真実であるならそれは調和し難い;
$facts$ = fact1: 溶け易いモンスターは調和し難い fact2: 「もし「あのもわもにょLv.81は調和し難くないが仄白い」ということは正しいとすればあのもわもにょLv.81は痛い」ということは確かだ fact3: あのもわもにょLv.81が痛いならばこのぷにょぷよLv.49は溶け易い ; $hypothesis$ = このぷにょぷよLv.49は溶け易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__