...
If I said, if someone is patient, then if they have ... A, B -> C. You can conclude "B -> C or /A": that if something is B, then ... unless. For all FA, /C -> /SA. So we can conclude that if ... bananas is ordinarily a boring dish unless it contains two ...