The cat chases the lion. The cat eats the rabbit. The cat does not eat the squirrel. The cat is young. The lion chases the cat. The lion does not chase the rabbit. The lion does not eat the cat. The lion does not like the rabbit. The rabbit chases the lion. The rabbit likes the squirrel. The squirrel chases the lion. The squirrel is red. If something eats the squirrel and it chases the lion then the squirrel eats the rabbit.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is young.
("cat" "is" "young" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something eats the squirrel and it chases the lion then the squirrel eats the rabbit.
((("something" "eats" "squirrel" "+") ("something" "chases" "lion" "+")) -> ("squirrel" "eats" "rabbit" "+"))
The cat is young.
True
1
proof
[(triple4)]
("cat" "is" "young" "+")
triple4
The cat does not chase the lion.
False
1
inv-proof
[(triple1)]
("cat" "chases" "lion" "-")
triple1
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat does not eat the squirrel.[(triple3)] The cat eats the rabbit.[(triple2)] The cat is young.[(triple4)] The lion chases the cat.[(triple5)] The lion does not chase the rabbit.[(triple6)] The lion does not eat the cat.[(triple7)] The lion does not like the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit likes the squirrel.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is red.[(triple12)]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple4
The lion chases the cat.
("lion" "chases" "cat" "+")
triple5
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple6
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple7
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple8
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12