on(red_box, table).
on(glove, red_box).
on(blue_box, table).
on(baseball, blue_box).