The bald eagle is green. The cat is round. The cow likes the cat. The dog likes the bald eagle. If something eats the bald eagle and it does not like the cow then the cow does not need the bald eagle. If something is round then it eats the bald eagle. If the cow eats the cat and the cow is not round then the cow eats the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
If something eats the bald eagle and it does not like the cow then the cow does not need the bald eagle.
((("something" "eats" "bald eagle" "+") ("something" "likes" "cow" "~")) -> ("cow" "needs" "bald eagle" "-"))
If something is round then it eats the bald eagle.
((("something" "is" "round" "+")) -> ("something" "eats" "bald eagle" "+"))
If the cow eats the cat and the cow is not round then the cow eats the bald eagle.
((("cow" "eats" "cat" "+") ("cow" "is" "round" "~")) -> ("cow" "eats" "bald eagle" "+"))
The cat is round.
True
1
proof
[(triple2)]
("cat" "is" "round" "+")
triple2
The dog does not like the bald eagle.
False
1
inv-proof
[(triple4)]
("dog" "likes" "bald eagle" "-")
triple4
The cat eats the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("cat" "eats" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat does not eat the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "eats" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
Unknown
inv-rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle is green.[(triple1)] The cat is round.[(triple2)] The cow likes the cat.[(triple3)] The dog likes the bald eagle.[(triple4)] @1: The cat eats the bald eagle.[(((triple2) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow likes the cat.
("cow" "likes" "cat" "+")
triple3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1