package inference;

public class ProofSystem {

	
	
	
}