Consequences

We believe that stem cells and rabbits have three actions in common: living, dying and reproducing (At least at first glance. There of course are many more but these three are evident without much thought). We also know the unknown action proliferate is common to both rabbits and stem cells. There is a possibility that a consequence for one of the known common actions may be applicable to "proliferate". Therefore it is necessary to model the consequences for living, dying and reproducing.

The rule is as such (making appropriate substitutions for dying and reproducing examples)

Forall x

If x can live

Then x perfoms actions

A simple consequence but it will work for out purposes.