vado1(X,Y) :-  aperta(X,Y).
vado1(X,Y) :- aperta(Y,X).
vado2(X,Y) :- vado1(X,Z), vado1(Z,Y).
vado3(X,Y) :- vado1(X,Z), vado2(Z,Y).
vado4(X,Y) :- vado1(X,Z), vado3(Z,Y).
vado5(X,Y) :- vado1(X,Z), vado4(Z,Y).

stanza(a).
stanza(b).
stanza(c).
stanza(d).
aperta(c,b).
aperta(c,d).
