Function combine_premises 

pub fn combine_premises(premises: &[Likeliness]) -> Likeliness

Likeliness of a conjunction of premises = the weakest (meet over all). The vacuous conjunction (no premises) is Certain (the top).