The bear does not eat the cat. The cat eats the bear. The cat does not eat the cow. The cat is rough. The cow chases the bear. The cow is red. The cow does not like the cat. If something eats the bear and it is not kind then it likes the cat. If the cow likes the bear then the cow chases the bear. If something is kind then it does not chase the bear.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat is rough.
("cat" "is" "rough" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is red.
("cow" "is" "red" "+")
The cow does not like the cat.
("cow" "likes" "cat" "-")
If something eats the bear and it is not kind then it likes the cat.
((("something" "eats" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "likes" "cat" "+"))
If the cow likes the bear then the cow chases the bear.
((("cow" "likes" "bear" "+")) -> ("cow" "chases" "bear" "+"))
If something is kind then it does not chase the bear.
((("something" "is" "kind" "+")) -> ("something" "chases" "bear" "-"))
The cat eats the bear.
True
1
proof
[(triple2)]
("cat" "eats" "bear" "+")
triple2
The cat eats the cow.
False
1
inv-proof
[(triple3)]
("cat" "eats" "cow" "+")
triple3
The bear does not like the cat.
Unknown
inv-rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear does not eat the cat.[(triple1)] The cat does not eat the cow.[(triple3)] The cat eats the bear.[(triple2)] The cat is rough.[(triple4)] The cow chases the bear.[(triple5)] The cow does not like the cat.[(triple7)] The cow is red.[(triple6)]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow does not like the cat.
("cow" "likes" "cat" "-")
triple7
The cow is red.
("cow" "is" "red" "+")
triple6