objects:
Block (b1);
Block (b2);
Block (b3); 
Block (Table);

init: ON (b1, b2) & ON (b2, Table) & ON (b3, Table) & Clear (b1) & Clear (b3) & Clear (Table)

goal: ON (b3, Table) & ON (b2, b3) & ON (b1, b2)