int boole (1<x+y<4 && x<y<3x), x=-oo..oo, y=-oo..oo