# data[].attributes.body
1. ∃x Cubo(x) ^ ∃x grand(x)

2. ∃x Cubo(x) elim. de ^ en 1
3. ∃x grand(x) elim. de ^ en 1
[a]
4. cubo(a) elim de ∃ en 2
[b]
5. grand(b) elim de ∃ en 3

∃x (Cubo (x) ^ grand (x))