Si "Juan Cruz Sol Oria (Elgoibar, 13 de setembre de 1947) és un exfutbolista basc que jugava de defensa." se satisfà, es pot concloure que "Juan Cruz Sol Oria (Elgoibar, 13 de setembre de 1947) va jugar com a davanter." també?
No.