In a framework with a classical semantics we actually get cons:paying-customer(Paul) as expected, since Paul is a customer and a traveller, and travellers - by definition in the knowledge base - do pay either cash or with a credit card so that at least one of the two rules is fired for Paul.