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