/* Reversed trolley problem (Karl): NOT-P */directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(5)).directly_causes(hitting(5), killing(5)).directly_causes(hitting(1), killing(1)).directly_prevents(switch_train, hitting(1)).is_goal(prevention_of(killing(1))).