The cat eats the lion. The cat does not eat the squirrel. The cat is cold. The cat does not need the lion. The lion eats the squirrel. The lion visits the squirrel. The squirrel does not eat the cat. The squirrel eats the lion. The squirrel is green. The squirrel is not red. The squirrel needs the lion. The squirrel does not visit the lion. If someone is green then they eat the squirrel. If someone visits the lion and they do not visit the squirrel then they eat the cat.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not need the lion.
("cat" "needs" "lion" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
If someone is green then they eat the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the lion and they do not visit the squirrel then they eat the cat.
((("someone" "visits" "lion" "+") ("someone" "visits" "squirrel" "~")) -> ("someone" "eats" "cat" "+"))
The cat does not eat the squirrel.
True
1
proof
[(triple2)]
("cat" "eats" "squirrel" "-")
triple2
The cat does not eat the lion.
False
1
inv-proof
[(triple1)]
("cat" "eats" "lion" "-")
triple1
The squirrel eats the squirrel.
True
2
proof
[(((triple9) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple9) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple9) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The lion does not eat the cat.
Unknown
inv-rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "cat" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "cat" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat does not eat the squirrel.[(triple2)] The cat does not need the lion.[(triple4)] The cat eats the lion.[(triple1)] The cat is cold.[(triple3)] The lion eats the squirrel.[(triple5)] The lion visits the squirrel.[(triple6)] The squirrel does not eat the cat.[(triple7)] The squirrel does not visit the lion.[(triple12)] The squirrel eats the lion.[(triple8)] The squirrel is green.[(triple9)] The squirrel is not red.[(triple10)] The squirrel needs the lion.[(triple11)] @1: The squirrel eats the squirrel.[(((triple9) -> rule1))]
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple2
The cat does not need the lion.
("cat" "needs" "lion" "-")
triple4
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple3
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple6
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
triple7
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
triple12
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is not red.
("squirrel" "is" "red" "-")
triple10
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple11
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1