Lsquare System for Mining Logic Data