Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning. - Yuichi Goto; Yasuaki Taga (ACIIDS (Companion 1), 2024)