The cat needs the lion. The cow needs the cat. The lion chases the cat. If someone eats the lion and the lion is kind then they are cold. If someone needs the cat then they eat the cat.
The cat needs the lion.
("cat" "needs" "lion" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
If someone eats the lion and the lion is kind then they are cold.
((("someone" "eats" "lion" "+") ("lion" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the cat then they eat the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "cat" "+"))
The cat needs the lion.
True
1
proof
[(triple1)]
("cat" "needs" "lion" "+")
triple1
The cat does not need the lion.
False
1
inv-proof
[(triple1)]
("cat" "needs" "lion" "-")
triple1
The cow eats the cat.
True
2
proof
[(((triple2) -> rule2))]
("cow" "eats" "cat" "+")
((triple2) -> (rule2 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "eats" "cat" "-")
((triple2) -> (rule2 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
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 is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "cold" "+")
The lion does not eat the cow.
Unknown
inv-random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cat needs the lion.[(triple1)] The cow needs the cat.[(triple2)] The lion chases the cat.[(triple3)] @1: The cow eats the cat.[(((triple2) -> rule2))]
The cat needs the lion.
("cat" "needs" "lion" "+")
triple1
The cow needs the cat.
("cow" "needs" "cat" "+")
triple2
The lion chases the cat.
("lion" "chases" "cat" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
((triple2) -> (rule2 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1