1 - temperature38(driss) Hyp
2 - not temperature38(X) V fievre(X) Hyp
3 - fievre(driss) par PR entre 1 et 2 et par unification  avec {driss/X}
4 - not fievre(X) V not tousse(X) V gripe(X) Hyp
5 - not tousse(driss) V gripe(driss) Par PR entre 4 et 5 et par Unification avec {driss/X}
6 - tousse(driss) Hyp .
7 - gripe(driss) Par PR entre 5 et 6.
8 - not gripe(X) V not travail(X) Hyp.
9 - not travail(driss) par PR entre 7 et 8 et par Unification avec {driss/X}

Thank You