Function check_postulates 

pub fn check_postulates(
    arguments: &[Argument],
    rules: &[Rule],
    extension: &HashSet<ArgumentId>,
) -> PostulateReport

Check all four rationality postulates against the given extension.