theorem HumanLifeMoralWorth.human_organism_protected_from_fertilization_to_death
theorem HumanLifeMoralWorth.human_organism_protected_from_fertilization_to_death
(logic_is_actual : LogicIsActual)
(human_organisms_exist_from_fertilization_to_death : A HumanOrganismsExistFromFertilizationToDeath)
(every_human_organism_has_inherent_moral_worth : A EveryHumanOrganismHasInherentMoralWorth)
(inherent_moral_worth_gives_claim_whenever_it_exists : A InherentMoralWorthGivesClaimWheneverItExists)
: A EveryHumanOrganismIsProtectedFromFertilizationToDeath