steam.out animal(x) ]]> animal(x) ]]> animal(x) ]]> animal(x) ]]> plant(x) ]]> (all y (plant(y) -> eats(x,y))) | (all z (animal(z) & Smaller(z,x) & (exists u (plant(u) & eats(z,u))) -> eats(x,z))))) ]]> Smaller(x,y) ]]> Smaller(x,y) ]]> Smaller(x,y) ]]> (exists y (plant(y) & eats(x,y))) ]]> -eats(x,y) ]]> -eats(x,y) ]]> -eats(x,y) ]]> eats(y,z))))) ]]>