The bald eagle likes the lion. The cow chases the lion. The cow is cold. The cow is red. The cow is round. The cow likes the lion. The cow visits the bald eagle. The lion chases the bald eagle. The lion chases the cow. The lion is red. If someone is red and they like the lion then the lion chases the bald eagle. If the bald eagle is green then the bald eagle is red. If someone is round then they like the bald eagle. If the cow likes the bald eagle and the cow chases the lion then the lion visits the cow. If someone likes the bald eagle then they visit the lion. If the bald eagle is round then the bald eagle likes the cow. If someone visits the cow and the cow is green then the cow is round. If someone chases the bald eagle and they are cold then the bald eagle visits the lion.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is red.
("lion" "is" "red" "+")
If someone is red and they like the lion then the lion chases the bald eagle.
((("someone" "is" "red" "+") ("someone" "likes" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If the bald eagle is green then the bald eagle is red.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "red" "+"))
If someone is round then they like the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the cow likes the bald eagle and the cow chases the lion then the lion visits the cow.
((("cow" "likes" "bald eagle" "+") ("cow" "chases" "lion" "+")) -> ("lion" "visits" "cow" "+"))
If someone likes the bald eagle then they visit the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "lion" "+"))
If the bald eagle is round then the bald eagle likes the cow.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "likes" "cow" "+"))
If someone visits the cow and the cow is green then the cow is round.
((("someone" "visits" "cow" "+") ("cow" "is" "green" "+")) -> ("cow" "is" "round" "+"))
If someone chases the bald eagle and they are cold then the bald eagle visits the lion.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("bald eagle" "visits" "lion" "+"))
The lion chases the bald eagle.
True
1
proof
[(triple8 OR ((triple4 triple6) -> rule1))]
("lion" "chases" "bald eagle" "+")
triple8
((triple4 triple6) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle does not like the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "lion" "-")
triple1
The cow likes the bald eagle.
True
2
proof
[(((triple5) -> rule3))]
("cow" "likes" "bald eagle" "+")
((triple5) -> (rule3 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple5) -> rule3))]
("cow" "likes" "bald eagle" "-")
((triple5) -> (rule3 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the lion.
True
3
proof
[(((((triple5) -> rule3)) -> rule5))]
("cow" "visits" "lion" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow does not visit the lion.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule5))]
("cow" "visits" "lion" "-")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
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 = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "bald eagle" "+")
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@2: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
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 cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bald eagle likes the lion.[(triple1)] The cow chases the lion.[(triple2)] The cow is cold.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow likes the lion.[(triple6)] The cow visits the bald eagle.[(triple7)] The lion chases the bald eagle.[(triple8 OR ((triple4 triple6) -> rule1))] The lion chases the cow.[(triple9)] The lion is red.[(triple10)] @1: The cow likes the bald eagle.[(((triple5) -> rule3))] @2: The cow visits the lion.[(((((triple5) -> rule3)) -> rule5))] The lion visits the cow.[(((((triple5) -> rule3) triple2) -> rule4))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The cow chases the lion.
("cow" "chases" "lion" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
((triple4 triple6) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple5) -> (rule3 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the lion.
("cow" "visits" "lion" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
((((triple5) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2