findall(A, downca(A),B ), write(B).

assert(doenca(gripe)).