The cat is round. The lion is kind. The lion is round. If the cat is green and the cat likes the lion then the lion chases the cat. If someone likes the cat and they eat the lion then the lion is kind. If someone likes the lion then they chase the lion. If someone chases the cat and the cat chases the lion then the lion is green. If someone is kind and round then they like the lion. If someone eats the lion and the lion is round then they chase the lion. If the cat is rough then the cat likes the lion. If the lion chases the cat then the cat likes the lion.
The cat is round.
("cat" "is" "round" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
If the cat is green and the cat likes the lion then the lion chases the cat.
((("cat" "is" "green" "+") ("cat" "likes" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If someone likes the cat and they eat the lion then the lion is kind.
((("someone" "likes" "cat" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone likes the lion then they chase the lion.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the cat and the cat chases the lion then the lion is green.
((("someone" "chases" "cat" "+") ("cat" "chases" "lion" "+")) -> ("lion" "is" "green" "+"))
If someone is kind and round then they like the lion.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "lion" "+"))
If someone eats the lion and the lion is round then they chase the lion.
((("someone" "eats" "lion" "+") ("lion" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
If the cat is rough then the cat likes the lion.
((("cat" "is" "rough" "+")) -> ("cat" "likes" "lion" "+"))
If the lion chases the cat then the cat likes the lion.
((("lion" "chases" "cat" "+")) -> ("cat" "likes" "lion" "+"))
The lion is round.
True
1
proof
[(triple3)]
("lion" "is" "round" "+")
triple3
The cat is not round.
False
1
inv-proof
[(triple1)]
("cat" "is" "round" "-")
triple1
The lion likes the lion.
True
3
proof
[(((triple2 triple3) -> rule5))]
("lion" "likes" "lion" "+")
((triple2 triple3) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("lion" "likes" "lion" "-")
((triple2 triple3) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the lion.
True
4
proof
[(((((triple2 triple3) -> rule5)) -> rule3))]
("lion" "chases" "lion" "+")
((((triple2 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion does not chase the lion.
False
4
inv-proof
[(((((triple2 triple3) -> rule5)) -> rule3))]
("lion" "chases" "lion" "-")
((((triple2 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The cat does not chase the lion.
Unknown
inv-rconc
[@3: The cat chases the lion.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule1 <- FAIL)]]
("cat" "chases" "lion" "-")
The cat likes the lion.
Unknown
rconc
[@2: The cat likes the lion.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("cat" "likes" "lion" "+")
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "cat" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat is round.[(triple1)] The lion is kind.[(triple2)] The lion is round.[(triple3)] @1: The lion likes the lion.[(((triple2 triple3) -> rule5))] @2: The lion chases the lion.[(((((triple2 triple3) -> rule5)) -> rule3))]
The cat is round.
("cat" "is" "round" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple2 triple3) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple2 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2