The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is big. The lion is kind. The lion is rough. The lion is young. The lion likes the bald eagle. The lion sees the bald eagle. Big, green people are young. If someone is green then they eat the lion. If the lion is big and the lion eats the bald eagle then the lion likes the bald eagle. If someone is young and they eat the bald eagle then the bald eagle eats the lion. If someone is young then they like the lion. If someone is young and they like the lion then they are green.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
Big, green people are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they eat the lion.
((("someone" "is" "green" "+")) -> ("someone" "eats" "lion" "+"))
If the lion is big and the lion eats the bald eagle then the lion likes the bald eagle.
((("lion" "is" "big" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone is young and they eat the bald eagle then the bald eagle eats the lion.
((("someone" "is" "young" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone is young then they like the lion.
((("someone" "is" "young" "+")) -> ("someone" "likes" "lion" "+"))
If someone is young and they like the lion then they are green.
((("someone" "is" "young" "+") ("someone" "likes" "lion" "+")) -> ("someone" "is" "green" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple10)]
("lion" "sees" "bald eagle" "+")
triple10
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle eats the lion.
True
3
proof
[(((triple8 triple4) -> rule4))]
("bald eagle" "eats" "lion" "+")
((triple8 triple4) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple8) -> rule5))]
("lion" "likes" "lion" "-")
((triple8) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is green.
True
4
proof
[(((triple8 ((triple8) -> rule5)) -> rule6))]
("lion" "is" "green" "+")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is not green.
False
4
inv-proof
[(((triple8 ((triple8) -> rule5)) -> rule6))]
("lion" "is" "green" "-")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion eats the lion.
True
5
proof
[(((((triple8 ((triple8) -> rule5)) -> rule6)) -> rule2))]
("lion" "eats" "lion" "+")
((((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion does not eat the lion.
False
5
inv-proof
[(((((triple8 ((triple8) -> rule5)) -> rule6)) -> rule2))]
("lion" "eats" "lion" "-")
((((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The bald eagle is not green.
Unknown
inv-rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is big.[(triple5)] The lion is kind.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9 OR ((triple5 triple4) -> rule3))] The lion sees the bald eagle.[(triple10)] @1: The bald eagle eats the lion.[(((triple8 triple4) -> rule4))] The lion likes the lion.[(((triple8) -> rule5))] @2: The lion is green.[(((triple8 ((triple8) -> rule5)) -> rule6))] @3: The lion eats the lion.[(((((triple8 ((triple8) -> rule5)) -> rule6)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
((triple5 triple4) -> (rule3 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple8 triple4) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple8) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple8 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3