Main: basic usage of infer