If that man comes into the house, I leave it!
If that man comes into the house, I am gone!
mnli hypothesis: If that man comes into the house, I am gone! premise: If that man comes into the house, I leave it!