The cat does not chase the squirrel. The lion is rough. The squirrel chases the cat. If something eats the cat then it eats the lion. If something is cold then it does not like the cat. If something eats the squirrel then it likes the cat. If something eats the cat and it is nice then it chases the squirrel. If something is nice then it does not chase the squirrel. If something eats the cat and the cat chases the lion then the cat does not chase the squirrel.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The lion is rough.
("lion" "is" "rough" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
If something eats the cat then it eats the lion.
((("something" "eats" "cat" "+")) -> ("something" "eats" "lion" "+"))
If something is cold then it does not like the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "-"))
If something eats the squirrel then it likes the cat.
((("something" "eats" "squirrel" "+")) -> ("something" "likes" "cat" "+"))
If something eats the cat and it is nice then it chases the squirrel.
((("something" "eats" "cat" "+") ("something" "is" "nice" "+")) -> ("something" "chases" "squirrel" "+"))
If something is nice then it does not chase the squirrel.
((("something" "is" "nice" "+")) -> ("something" "chases" "squirrel" "-"))
If something eats the cat and the cat chases the lion then the cat does not chase the squirrel.
((("something" "eats" "cat" "+") ("cat" "chases" "lion" "+")) -> ("cat" "chases" "squirrel" "-"))
The squirrel chases the cat.
True
1
proof
[(triple3)]
("squirrel" "chases" "cat" "+")
triple3
The cat chases the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "chases" "squirrel" "+")
triple1
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat does not chase the squirrel.[(triple1)] The lion is rough.[(triple2)] The squirrel chases the cat.[(triple3)]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple3