The bald eagle eats the cow. The bald eagle is blue. The bald eagle likes the cow. The cat is big. The cat is rough. The cat likes the cow. The cat likes the rabbit. The cow eats the bald eagle. The cow visits the rabbit. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is green. If someone is green then they like the rabbit. If the cow likes the cat then the cat eats the bald eagle. If someone likes the cat and the cat visits the rabbit then they are big. If someone likes the cow then the cow likes the rabbit. If someone visits the rabbit then the rabbit visits the cat. If someone likes the cow and the cow visits the bald eagle then the bald eagle is round.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If someone is green then they like the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "likes" "rabbit" "+"))
If the cow likes the cat then the cat eats the bald eagle.
((("cow" "likes" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
If someone likes the cat and the cat visits the rabbit then they are big.
((("someone" "likes" "cat" "+") ("cat" "visits" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone likes the cow then the cow likes the rabbit.
((("someone" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If someone visits the rabbit then the rabbit visits the cat.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "visits" "cat" "+"))
If someone likes the cow and the cow visits the bald eagle then the bald eagle is round.
((("someone" "likes" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The bald eagle eats the cow.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cow" "+")
triple1
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("rabbit" "eats" "bald eagle" "-")
triple10
The rabbit visits the cat.
True
2
proof
[(((triple9) -> rule5))]
("rabbit" "visits" "cat" "+")
((triple9) -> (rule5 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cow does not like the rabbit.
False
2
inv-proof
[(((triple3) -> rule4) OR ((triple6) -> rule4))]
("cow" "likes" "rabbit" "-")
((triple3) -> (rule4 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
((triple6) -> (rule4 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle likes the rabbit.
Unknown
rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The rabbit does not eat the cow.
Unknown
inv-random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the cow.[(triple3)] The cat is big.[(triple4)] The cat is rough.[(triple5)] The cat likes the cow.[(triple6)] The cat likes the rabbit.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] @1: The cow likes the rabbit.[(((triple3) -> rule4) OR ((triple6) -> rule4))] The rabbit likes the rabbit.[(((triple12) -> rule1))] The rabbit visits the cat.[(((triple9) -> rule5))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat likes the cow.
("cat" "likes" "cow" "+")
triple6
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple3) -> (rule4 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
((triple6) -> (rule4 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple9) -> (rule5 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1