The cat is kind. The cat is not rough. The cat likes the dog. The cat does not visit the cow. The cow is not kind. The cow does not like the dog. The cow likes the squirrel. The cow does not visit the dog. The dog is cold. The dog is green. The dog is rough. The dog likes the cat. The dog visits the squirrel. The squirrel is cold. The squirrel is not rough. The squirrel likes the cow. If the cat is not kind then the cat visits the cow.
The cat is kind.
("cat" "is" "kind" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If the cat is not kind then the cat visits the cow.
((("cat" "is" "kind" "~")) -> ("cat" "visits" "cow" "+"))
The dog is rough.
True
1
proof
[(triple11)]
("dog" "is" "rough" "+")
triple11
The squirrel is rough.
False
1
inv-proof
[(triple15)]
("squirrel" "is" "rough" "+")
triple15
The dog does not see the squirrel.
Unknown
inv-random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "-")
The cat likes the cow.
Unknown
random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "+")
@0: The cat does not visit the cow.[(triple4)] The cat is kind.[(triple1)] The cat is not rough.[(triple2)] The cat likes the dog.[(triple3)] The cow does not like the dog.[(triple6)] The cow does not visit the dog.[(triple8)] The cow is not kind.[(triple5)] The cow likes the squirrel.[(triple7)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog is rough.[(triple11)] The dog likes the cat.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is not rough.[(triple15)] The squirrel likes the cow.[(triple16)]
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is not rough.
("cat" "is" "rough" "-")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple6
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple8
The cow is not kind.
("cow" "is" "kind" "-")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog likes the cat.
("dog" "likes" "cat" "+")
triple12
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple15
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple16