Causation

Input:
1. If the grass is wet, then it rained.
2. if we break this bottle, the grass will get wet

Output:
1. If we break this bottle, then it rained.


Check out Tuesday's CS Colloquium.