The dog does not see the squirrel. The dog does not visit the squirrel. The squirrel chases the dog. The squirrel chases the tiger. The squirrel is not blue. The squirrel is green. The squirrel is kind. The tiger is kind. The tiger does not visit the dog. The tiger visits the squirrel. If someone chases the squirrel and they are green then the squirrel does not visit the dog.
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone chases the squirrel and they are green then the squirrel does not visit the dog.
((("someone" "chases" "squirrel" "+") ("someone" "is" "green" "+")) -> ("squirrel" "visits" "dog" "-"))
The squirrel is not blue.
True
1
proof
[(triple5)]
("squirrel" "is" "blue" "-")
triple5
The squirrel does not chase the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "dog" "-")
triple3
The squirrel does not visit the dog.
Unknown
inv-random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The dog does not see the squirrel.[(triple1)] The dog does not visit the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel is green.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is not blue.[(triple5)] The tiger does not visit the dog.[(triple9)] The tiger is kind.[(triple8)] The tiger visits the squirrel.[(triple10)]
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
triple1
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple5
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10