... -> using trivial rules for concludible inference checking