The bald eagle is cold. The cat likes the bald eagle. The cat likes the tiger. The cat visits the tiger. The lion is kind. The lion visits the tiger. The tiger visits the cat. Kind people are green. If someone is cold and they need the bald eagle then the bald eagle needs the cat. If someone is cold then they like the lion. If someone visits the lion and the lion is kind then the lion visits the tiger. If someone is green then they like the cat. If the lion is cold and the lion needs the bald eagle then the bald eagle needs the cat.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and they need the bald eagle then the bald eagle needs the cat.
((("someone" "is" "cold" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone is cold then they like the lion.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "lion" "+"))
If someone visits the lion and the lion is kind then the lion visits the tiger.
((("someone" "visits" "lion" "+") ("lion" "is" "kind" "+")) -> ("lion" "visits" "tiger" "+"))
If someone is green then they like the cat.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "+"))
If the lion is cold and the lion needs the bald eagle then the bald eagle needs the cat.
((("lion" "is" "cold" "+") ("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
The cat likes the tiger.
True
1
proof
[(triple3)]
("cat" "likes" "tiger" "+")
triple3
The cat does not visit the tiger.
False
1
inv-proof
[(triple4)]
("cat" "visits" "tiger" "-")
triple4
The lion is green.
True
2
proof
[(((triple5) -> rule1))]
("lion" "is" "green" "+")
((triple5) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "likes" "lion" "-")
((triple1) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion likes the cat.
True
3
proof
[(((((triple5) -> rule1)) -> rule5))]
("lion" "likes" "cat" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion does not like the cat.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule5))]
("lion" "likes" "cat" "-")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger likes the lion.
Unknown
rconc
[@1: The tiger likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "lion" "+")
The tiger does not like the cat.
Unknown
inv-rconc
[@2: The tiger likes the cat.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("tiger" "likes" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The lion does not need the bald eagle.
Unknown
inv-random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The cat likes the bald eagle.[(triple2)] The cat likes the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The lion is kind.[(triple5)] The lion visits the tiger.[(triple6)] The tiger visits the cat.[(triple7)] @1: The bald eagle likes the lion.[(((triple1) -> rule3))] The lion is green.[(((triple5) -> rule1))] @2: The lion likes the cat.[(((((triple5) -> rule1)) -> rule5))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple7
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple1) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple5) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2