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