結果 : inductive logic example