The cat likes the cow. The cow is green. The cow visits the cat. The lion chases the cow. The squirrel is kind. The squirrel visits the cow. The squirrel visits the lion. If something visits the squirrel and it does not chase the cow then the cow is red. If something likes the lion and the lion visits the squirrel then it is red. If the lion likes the cat then the lion likes the squirrel. If something chases the squirrel and the squirrel does not chase the cow then it likes the lion. If something likes the cow and the cow is not big then it does not chase the cat. If the cat likes the cow then the cow chases the cat.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something visits the squirrel and it does not chase the cow then the cow is red.
((("something" "visits" "squirrel" "+") ("something" "chases" "cow" "~")) -> ("cow" "is" "red" "+"))
If something likes the lion and the lion visits the squirrel then it is red.
((("something" "likes" "lion" "+") ("lion" "visits" "squirrel" "+")) -> ("something" "is" "red" "+"))
If the lion likes the cat then the lion likes the squirrel.
((("lion" "likes" "cat" "+")) -> ("lion" "likes" "squirrel" "+"))
If something chases the squirrel and the squirrel does not chase the cow then it likes the lion.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "cow" "~")) -> ("something" "likes" "lion" "+"))
If something likes the cow and the cow is not big then it does not chase the cat.
((("something" "likes" "cow" "+") ("cow" "is" "big" "~")) -> ("something" "chases" "cat" "-"))
If the cat likes the cow then the cow chases the cat.
((("cat" "likes" "cow" "+")) -> ("cow" "chases" "cat" "+"))
The squirrel visits the lion.
True
1
proof
[(triple7)]
("squirrel" "visits" "lion" "+")
triple7
The squirrel does not visit the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "visits" "cow" "-")
triple6
The cat does not like the lion.
Unknown
inv-rconc
[@1: The cat likes the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "lion" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cat likes the cow.[(triple1)] The cow is green.[(triple2)] The cow visits the cat.[(triple3)] The lion chases the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel visits the cow.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The cow chases the cat.[(((triple1) -> rule6))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The lion chases the cow.
("lion" "chases" "cow" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple1) -> (rule6 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1