Just use 1 more-reason-clause.
Do not create clauses modeling inferences by WC.