The bald eagle eats the cow. The cow is red. The lion likes the bald eagle. If someone is green and rough then they chase the cow. If someone eats the cow then they chase the cow. If someone is green and round then they chase the lion. If someone eats the cow and they like the bald eagle then the bald eagle does not like the lion. If someone chases the cow then they like the lion. If someone eats the cow and the cow chases the bald eagle then the cow likes the lion. If someone likes the lion then the lion eats the bald eagle. If someone eats the cow and they do not like the lion then the lion does not eat the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If someone is green and rough then they chase the cow.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "cow" "+"))
If someone eats the cow then they chase the cow.
((("someone" "eats" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If someone is green and round then they chase the lion.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the cow and they like the bald eagle then the bald eagle does not like the lion.
((("someone" "eats" "cow" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "-"))
If someone chases the cow then they like the lion.
((("someone" "chases" "cow" "+")) -> ("someone" "likes" "lion" "+"))
If someone eats the cow and the cow chases the bald eagle then the cow likes the lion.
((("someone" "eats" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("cow" "likes" "lion" "+"))
If someone likes the lion then the lion eats the bald eagle.
((("someone" "likes" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone eats the cow and they do not like the lion then the lion does not eat the bald eagle.
((("someone" "eats" "cow" "+") ("someone" "likes" "lion" "~")) -> ("lion" "eats" "bald eagle" "-"))
The bald eagle eats the cow.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle chases the cow.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "cow" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle does not chase the cow.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "cow" "-")
((triple1) -> (rule2 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle likes the lion.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("bald eagle" "likes" "lion" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle does not like the lion.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("bald eagle" "likes" "lion" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The lion eats the bald eagle.
True
4
proof
[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]
("lion" "eats" "bald eagle" "+")
((((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3
The lion does not eat the bald eagle.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]
("lion" "eats" "bald eagle" "-")
((((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3
The lion does not like the lion.
Unknown
inv-rconc
[@2: The lion likes the lion.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "+")
The lion does not chase the cow.
Unknown
inv-rconc
[@1: The lion chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "cow" "-")
The cow chases the lion.
Unknown
rconc
[@1: The cow chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "lion" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
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 lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow is red.[(triple2)] The lion likes the bald eagle.[(triple3)] @1: The bald eagle chases the cow.[(((triple1) -> rule2))] @2: The bald eagle likes the lion.[(((((triple1) -> rule2)) -> rule5))] @3: The lion eats the bald eagle.[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3