/* Fat Man problem (Ian): NOT-P */directly_causes(throw_man, get_on_track).directly_causes(get_on_track, hitting(1)).directly_causes(hitting(1), killing(1)).directly_causes(hitting(1), stop_train).directly_causes(hitting(5), killing(5)).directly_prevents(stop_train, hitting(5)).is_goal(prevention_of(killing(5))).