open infer_tTheory in inferProps and inferSound