#2 全てのパターンのparamodulantを生成する方法で解決した
change interface