Function decide 

pub fn decide(f: &Facts, now: i64) -> Decision

The rule: every condition must hold, an unknown one counting as not holding; the cheap ones are looked at first (facts asks the system only when a training waits on its power alone).