import { Sentence } from "./basis";
import { Rules, Population, TruthTable } from "./containers";
export declare function modusPonens(rules: Rules, population: Population, truthTable: TruthTable, added?: Sentence[]): ModusPonensResult;
export declare class ModusPonensResult {
    private _added;
    private _removed;
    constructor();
    get added(): Sentence[];
    get removed(): Sentence[];
    get count(): number;
    get any(): boolean;
    add(sentence: Sentence): void;
    quit(sentence: Sentence): void;
    merge(result: ModusPonensResult): void;
    purgeIncongruences(): void;
}
//# sourceMappingURL=reasoners.d.ts.map