The dog visits the squirrel. The squirrel is not green. If something is kind and it does not visit the dog then the dog visits the squirrel.
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
If something is kind and it does not visit the dog then the dog visits the squirrel.
((("something" "is" "kind" "+") ("something" "visits" "dog" "~")) -> ("dog" "visits" "squirrel" "+"))
The squirrel is not green.
True
1
proof
[(triple2)]
("squirrel" "is" "green" "-")
triple2
The dog does not visit the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "visits" "squirrel" "-")
triple1
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The dog visits the squirrel.[(triple1)] The squirrel is not green.[(triple2)]
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple1
The squirrel is not green.
("squirrel" "is" "green" "-")
triple2