schemeId.increment();
nr = schemeId.getId();
if (scheme.getNr() != null) nr = scheme.getNr();
ItemId itemId = new ItemId(articleId, itemType, nr);
LinkedList<Type> typeList = Adapter.getParameters(abstractSignature, scheme.getArgTypes());
Parameters parameters = new Parameters(typeList);
LinkedList<Formula> formulaList = Adapter.getFormulaList(abstractSignature, scheme.getFormula2List());
Premisses premisses = new Premisses(formulaList);
LinkedList<Formula> formula2List = new LinkedList<Formula>();
formula2List.add(Adapter.getFormula(abstractSignature, scheme.getFormula1(), new VariableId()));
Thesis thesis = new Thesis(formula2List);