The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle is young. The cat does not chase the bald eagle. The cat chases the lion. The cat eats the bald eagle. The cat does not eat the cow. The cat is blue. The cow does not chase the cat. The lion chases the cat. The lion eats the bald eagle. The lion does not eat the cow. The lion is green. The lion likes the cat. The lion likes the cow. If someone eats the bald eagle and they like the lion then the bald eagle eats the cow. If the lion eats the cat and the lion is red then the lion does not like the cow. If the cow likes the lion then the lion likes the cow. If someone chases the cat then the cat does not eat the lion. If someone eats the cat then the cat does not eat the lion. If someone chases the bald eagle then they are not green. If someone likes the cow then they are green. If someone is young then they eat the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cow does not chase the cat.
("cow" "chases" "cat" "-")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is green.
("lion" "is" "green" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone eats the bald eagle and they like the lion then the bald eagle eats the cow.
((("someone" "eats" "bald eagle" "+") ("someone" "likes" "lion" "+")) -> ("bald eagle" "eats" "cow" "+"))
If the lion eats the cat and the lion is red then the lion does not like the cow.
((("lion" "eats" "cat" "+") ("lion" "is" "red" "+")) -> ("lion" "likes" "cow" "-"))
If the cow likes the lion then the lion likes the cow.
((("cow" "likes" "lion" "+")) -> ("lion" "likes" "cow" "+"))
If someone chases the cat then the cat does not eat the lion.
((("someone" "chases" "cat" "+")) -> ("cat" "eats" "lion" "-"))
If someone eats the cat then the cat does not eat the lion.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "lion" "-"))
If someone chases the bald eagle then they are not green.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "green" "-"))
If someone likes the cow then they are green.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they eat the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bald eagle" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple6)]
("cat" "eats" "bald eagle" "+")
triple6
The lion eats the cow.
False
1
inv-proof
[(triple12)]
("lion" "eats" "cow" "+")
triple12
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "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 chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle is young.[(triple3)] The cat chases the lion.[(triple5)] The cat does not chase the bald eagle.[(triple4)] The cat does not eat the cow.[(triple7)] The cat eats the bald eagle.[(triple6)] The cat is blue.[(triple8)] The cow does not chase the cat.[(triple9)] The lion chases the cat.[(triple10)] The lion does not eat the cow.[(triple12)] The lion eats the bald eagle.[(triple11)] The lion is green.[(triple13 OR ((triple15) -> rule7))] The lion likes the cat.[(triple14)] The lion likes the cow.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule8))] The cat does not eat the lion.[(((triple1) -> rule4) OR ((triple10) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The cat chases the lion.
("cat" "chases" "lion" "+")
triple5
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple4
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple7
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cow does not chase the cat.
("cow" "chases" "cat" "-")
triple9
The lion chases the cat.
("lion" "chases" "cat" "+")
triple10
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple12
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple13
((triple15) -> (rule7 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
triple14
The lion likes the cow.
("lion" "likes" "cow" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple3) -> (rule8 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat does not eat the lion.
("cat" "eats" "lion" "-")
((triple1) -> (rule4 % int1))
The cat does not eat the lion.
("cat" "eats" "lion" "-")
int1
((triple10) -> (rule4 % int1))
The cat does not eat the lion.
("cat" "eats" "lion" "-")
int1