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