@Override
    public void doSomething() throws IOException, ParsingException, LexingException, IncorrectProofException {
        String[] temp = in.readLine().split(Pattern.quote("|-"));
        if (temp.length > 2) {
            throw new IOException("more than one |- in first line");
        }
        String s = temp[0];
        int l = 0;
        int r = 0;
        while (l < s.length()) {
            r++;
            Expression tempExpr;
            try {
                String ss = s.substring(l, r);
                tempExpr = parseExcept(ss);
            } catch (Exception e) {
                continue;
            }
            if (r == s.length() || s.charAt(r) == ',') {
                l = r + 1;
                r = l;
                hypos.add(tempExpr);
            }
        }

        /*for (String value : s) {
            hypos.add(parse(value));
        } -*/
        alpha = hypos.remove(hypos.size() - 1);
        List<Expression> proof = new ArrayList<>();
        String s1 = in.readLine();
        while (s1 != null && !s1.replace("\\s+", "").isEmpty()) {
            Expression e = parse(s1);
            proof.add(e);
            s1 = in.readLine();
        }
        List<Expression> newProof = move1HypoToProof(proof);
        if (success) for (Expression e : newProof) {
            out.println(e.asString());
        }
    }