The bald eagle eats the cow. The bald eagle eats the lion. The cow sees the bald eagle. The dog eats the cow. The dog is round. The lion eats the dog. The lion is round. If something eats the cow and it visits the dog then the cow eats the dog. If something eats the dog then it does not eat the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is round.
("dog" "is" "round" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
If something eats the cow and it visits the dog then the cow eats the dog.
((("something" "eats" "cow" "+") ("something" "visits" "dog" "+")) -> ("cow" "eats" "dog" "+"))
If something eats the dog then it does not eat the bald eagle.
((("something" "eats" "dog" "+")) -> ("something" "eats" "bald eagle" "-"))
The cow sees the bald eagle.
True
1
proof
[(triple3)]
("cow" "sees" "bald eagle" "+")
triple3
The lion does not eat the dog.
False
1
inv-proof
[(triple6)]
("lion" "eats" "dog" "-")
triple6
The lion does not eat the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("lion" "eats" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
The lion eats the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "eats" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The cow visits the dog.
Unknown
random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the lion.[(triple2)] The cow sees the bald eagle.[(triple3)] The dog eats the cow.[(triple4)] The dog is round.[(triple5)] The lion eats the dog.[(triple6)] The lion is round.[(triple7)] @1: The lion does not eat the bald eagle.[(((triple6) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
int1