The bald eagle eats the cat. The bald eagle likes the bear. The bear needs the cat. The cat eats the bald eagle. The cat likes the lion. The lion eats the bear. The lion is green. If something eats the bald eagle then it is rough. If the lion is young and the lion is rough then the lion does not need the bear. If the cat is rough then the cat is not round.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is green.
("lion" "is" "green" "+")
If something eats the bald eagle then it is rough.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If the lion is young and the lion is rough then the lion does not need the bear.
((("lion" "is" "young" "+") ("lion" "is" "rough" "+")) -> ("lion" "needs" "bear" "-"))
If the cat is rough then the cat is not round.
((("cat" "is" "rough" "+")) -> ("cat" "is" "round" "-"))
The cat likes the lion.
True
1
proof
[(triple5)]
("cat" "likes" "lion" "+")
triple5
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The cat is rough.
True
2
proof
[(((triple4) -> rule1))]
("cat" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not round.
True
3
proof
[(((((triple4) -> rule1)) -> rule3))]
("cat" "is" "round" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is not round.
("cat" "is" "round" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is round.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("cat" "is" "round" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is not round.
("cat" "is" "round" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The cat does not like the bear.
Unknown
inv-random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear needs the cat.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat likes the lion.[(triple5)] The lion eats the bear.[(triple6)] The lion is green.[(triple7)] @1: The cat is rough.[(((triple4) -> rule1))] @2: The cat is not round.[(((((triple4) -> rule1)) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not round.
("cat" "is" "round" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is not round.
("cat" "is" "round" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2