「「もしも話し難くておまけに付け難くないとすれば睦まじい」モンスターはいる」ということは本当だ
fact1: もし「このぷにょぷにょLv.16は話し難い一方で付け難くない」ということは真実ならこのぷにょぷにょLv.16は睦まじい
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし「このぷにょぷにょLv.16は話し難い一方で付け難くない」ということは真実ならこのぷにょぷにょLv.16は睦まじい ; $hypothesis$ = 「「もしも話し難くておまけに付け難くないとすれば睦まじい」モンスターはいる」ということは本当だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__