t_wの輪郭

述語論理（っぽいもの）の推論の過程にNN組み込んだら楽しいかな