complete Inferencer