The cat chases the lion. The cat eats the squirrel. The cat needs the lion. The cat needs the squirrel. The cow chases the squirrel. The cow eats the cat. The cow eats the lion. The cow needs the cat. The lion chases the cat. The lion needs the cow. The lion needs the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel needs the cow. The squirrel needs the lion. If someone is red and they eat the cat then the cat needs the cow. If the squirrel needs the cow and the squirrel is red then the squirrel is kind. If someone is kind and round then they eat the squirrel. All round people are cold. If someone needs the lion and the lion needs the cow then they eat the squirrel. If someone needs the cat then they eat the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone is red and they eat the cat then the cat needs the cow.
((("someone" "is" "red" "+") ("someone" "eats" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If the squirrel needs the cow and the squirrel is red then the squirrel is kind.
((("squirrel" "needs" "cow" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "is" "kind" "+"))
If someone is kind and round then they eat the squirrel.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the lion and the lion needs the cow then they eat the squirrel.
((("someone" "needs" "lion" "+") ("lion" "needs" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the cat then they eat the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "cat" "+"))
The cat needs the lion.
True
1
proof
[(triple3)]
("cat" "needs" "lion" "+")
triple3
The cow does not eat the cat.
False
1
inv-proof
[(triple6 OR ((triple8) -> rule6))]
("cow" "eats" "cat" "-")
triple6
((triple8) -> (rule6 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The squirrel eats the squirrel.
True
3
proof
[(((triple15 triple10) -> rule5))]
("squirrel" "eats" "squirrel" "+")
((triple15 triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
3
inv-proof
[(((triple15 triple10) -> rule5))]
("squirrel" "eats" "squirrel" "-")
((triple15 triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "eats" "cat" "-")
The squirrel eats the cat.
Unknown
rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "cat" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the squirrel.[(triple2 OR ((triple3 triple10) -> rule5))] The cat needs the lion.[(triple3)] The cat needs the squirrel.[(triple4)] The cow chases the squirrel.[(triple5)] The cow eats the cat.[(triple6 OR ((triple8) -> rule6))] The cow eats the lion.[(triple7)] The cow needs the cat.[(triple8)] The lion chases the cat.[(triple9)] The lion needs the cow.[(triple10)] The lion needs the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel needs the lion.[(triple15)] @1: The squirrel eats the squirrel.[(((triple15 triple10) -> rule5))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
((triple3 triple10) -> (rule5 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
((triple8) -> (rule6 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple7
The cow needs the cat.
("cow" "needs" "cat" "+")
triple8
The lion chases the cat.
("lion" "chases" "cat" "+")
triple9
The lion needs the cow.
("lion" "needs" "cow" "+")
triple10
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple15
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15 triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1