The cat chases the lion. The cat chases the squirrel. The cat eats the lion. The cat is kind. The cow chases the lion. The cow eats the squirrel. The cow likes the squirrel. The lion chases the cat. The lion eats the squirrel. The lion likes the cat. The squirrel chases the cow. The squirrel eats the cat. The squirrel eats the cow. The squirrel is blue. The squirrel is kind. The squirrel likes the cat. If someone chases the squirrel then the squirrel is blue. If someone is blue then they eat the lion. If someone likes the squirrel then the squirrel chases the cat. If someone chases the squirrel then the squirrel chases the lion. If someone eats the lion then they like the lion. If someone eats the cat and the cat eats the squirrel then the cat likes the lion. If someone chases the lion and the lion likes the squirrel then they eat the cow. If someone likes the lion and they like the cow then the lion chases the cow.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone chases the squirrel then the squirrel is blue.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is blue then they eat the lion.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "lion" "+"))
If someone likes the squirrel then the squirrel chases the cat.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
If someone chases the squirrel then the squirrel chases the lion.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone eats the lion then they like the lion.
((("someone" "eats" "lion" "+")) -> ("someone" "likes" "lion" "+"))
If someone eats the cat and the cat eats the squirrel then the cat likes the lion.
((("someone" "eats" "cat" "+") ("cat" "eats" "squirrel" "+")) -> ("cat" "likes" "lion" "+"))
If someone chases the lion and the lion likes the squirrel then they eat the cow.
((("someone" "chases" "lion" "+") ("lion" "likes" "squirrel" "+")) -> ("someone" "eats" "cow" "+"))
If someone likes the lion and they like the cow then the lion chases the cow.
((("someone" "likes" "lion" "+") ("someone" "likes" "cow" "+")) -> ("lion" "chases" "cow" "+"))
The cow chases the lion.
True
1
proof
[(triple5)]
("cow" "chases" "lion" "+")
triple5
The lion does not chase the cat.
False
1
inv-proof
[(triple8)]
("lion" "chases" "cat" "-")
triple8
The lion does not eat the cow.
Unknown
inv-rconc
[@1: The lion eats the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "cow" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cat chases the lion.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the lion.[(triple3)] The cat is kind.[(triple4)] The cow chases the lion.[(triple5)] The cow eats the squirrel.[(triple6)] The cow likes the squirrel.[(triple7)] The lion chases the cat.[(triple8)] The lion eats the squirrel.[(triple9)] The lion likes the cat.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is blue.[(triple14 OR ((triple2) -> rule1))] The squirrel is kind.[(triple15)] The squirrel likes the cat.[(triple16)] @1: The cat likes the lion.[(((triple3) -> rule5))] The squirrel chases the cat.[(((triple7) -> rule3))] The squirrel chases the lion.[(((triple2) -> rule4))] The squirrel eats the lion.[(((triple14) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] @2: The squirrel likes the lion.[(((((triple14) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2)) -> rule5))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cow chases the lion.
("cow" "chases" "lion" "+")
triple5
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple9
The lion likes the cat.
("lion" "likes" "cat" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple11
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
((triple2) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple16
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple3) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple7) -> (rule3 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((triple2) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple14) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3