NumberPhileStatement.class

public class Statement {
    private boolean isProven = true;
    public final String statement;

    public Statement(String statementToProve){
        statement = statementToProve;
    }

    public Boolean isProven(){
        return isProven;
    }

    public void prove(boolean proof){
        isProven = proof;
    }
}