The bald eagle eats the lion. The cow is green. The lion chases the bald eagle. If someone likes the lion and the lion chases the bald eagle then the lion is red. If someone is green then they eat the cow. If someone eats the cow then they like the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
If someone likes the lion and the lion chases the bald eagle then the lion is red.
((("someone" "likes" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "is" "red" "+"))
If someone is green then they eat the cow.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the cow then they like the lion.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "lion" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "lion" "-")
triple1
The cow eats the cow.
True
2
proof
[(((triple2) -> rule2))]
("cow" "eats" "cow" "+")
((triple2) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "eats" "cow" "-")
((triple2) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the lion.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("cow" "likes" "lion" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow does not like the lion.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("cow" "likes" "lion" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The lion is red.
True
5
proof
[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1))]
("lion" "is" "red" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The lion is not red.
False
5
inv-proof
[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1))]
("lion" "is" "red" "-")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bald eagle does not like the lion.
Unknown
inv-rconc
[@2: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The lion does not like the lion.
Unknown
inv-rconc
[@2: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("lion" "likes" "lion" "-")
The lion eats the cow.
Unknown
rconc
[@1: The lion eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "cow" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The cow is green.[(triple2)] The lion chases the bald eagle.[(triple3)] @1: The cow eats the cow.[(((triple2) -> rule2))] @2: The cow likes the lion.[(((((triple2) -> rule2)) -> rule3))] @3: The lion is red.[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3