The bald eagle eats the lion. The bald eagle likes the lion. The bald eagle sees the rabbit. The lion sees the rabbit. The rabbit eats the bald eagle. The rabbit is red. The rabbit is young. If someone eats the bald eagle and the bald eagle sees the rabbit then they like the bald eagle. If someone likes the bald eagle and the bald eagle likes the lion then the bald eagle is big. If the bald eagle is green and the bald eagle sees the rabbit then the rabbit is red. If someone likes the lion then the lion sees the bald eagle. If someone likes the lion and they are big then they are red. If someone sees the bald eagle and they are young then they are rough.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If someone eats the bald eagle and the bald eagle sees the rabbit then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle likes the lion then the bald eagle is big.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("bald eagle" "is" "big" "+"))
If the bald eagle is green and the bald eagle sees the rabbit then the rabbit is red.
((("bald eagle" "is" "green" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone likes the lion then the lion sees the bald eagle.
((("someone" "likes" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone likes the lion and they are big then they are red.
((("someone" "likes" "lion" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone sees the bald eagle and they are young then they are rough.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
The rabbit is young.
True
1
proof
[(triple7)]
("rabbit" "is" "young" "+")
triple7
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The lion sees the bald eagle.
True
2
proof
[(((triple2) -> rule4))]
("lion" "sees" "bald eagle" "+")
((triple2) -> (rule4 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The rabbit does not like the bald eagle.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("rabbit" "likes" "bald eagle" "-")
((triple5 triple3) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is big.
True
5
proof
[(((((triple5 triple3) -> rule1) triple2) -> rule2))]
("bald eagle" "is" "big" "+")
((((triple5 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle is not big.
False
5
inv-proof
[(((((triple5 triple3) -> rule1) triple2) -> rule2))]
("bald eagle" "is" "big" "-")
((((triple5 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle is red.
True
7
proof
[(((triple2 ((((triple5 triple3) -> rule1) triple2) -> rule2)) -> rule5))]
("bald eagle" "is" "red" "+")
((triple2 ((((triple5 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle is not red.
False
7
inv-proof
[(((triple2 ((((triple5 triple3) -> rule1) triple2) -> rule2)) -> rule5))]
("bald eagle" "is" "red" "-")
((triple2 ((((triple5 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "red" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "rough" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "rough" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
The lion does not like the rabbit.
Unknown
inv-random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "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 lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit is red.[(triple6)] The rabbit is young.[(triple7)] @1: The lion sees the bald eagle.[(((triple2) -> rule4))] The rabbit likes the bald eagle.[(((triple5 triple3) -> rule1))] @2: The bald eagle is big.[(((((triple5 triple3) -> rule1) triple2) -> rule2))] @3: The bald eagle is red.[(((triple2 ((((triple5 triple3) -> rule1) triple2) -> rule2)) -> rule5))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple4
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple2) -> (rule4 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple5 triple3) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple5 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple2 ((((triple5 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3