@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <https://eyereasoner.github.io/ns#>.

# the ground is not not wet
{ { :ground :is :wet } => false } => false.

# proof by contrapositive
{ { ?P => false } => false } => { true => ?P }.
