; rule outputRule1
Implies (
     Antecedent
        ( 
          order(I-variable(order)) 
          swrlb:greaterThan(D-variable(packageWeight) 50)
        )
     Consequent(swrlb:equal(D-variable(packageWeight), 50))

; rule outputRule2
Implies (
     Antecedent
        (
          order(I-variable(order))
          hasItemConformation(I-variable(order) I-variable(itemConformationNo))
          swrlb:lessThanOrEqual(D-variable(orderDay), 30)
        )
     Consequent(tracking(I-variable(itemConfirmationNo)))

; rule outputRule3 
Implies (
     Antecedent
        (
          order(I-variable(order))
          hasItemConformation(I-variable(order) I-variable(itemConformationNo))
          hasAccount(I-variable(customer) I-variable(account)))
          delivery(I-variable(package), null)
        )
     Consequent(charge(I-variable(account), nil))