The bald eagle is not green. The bald eagle sees the cow. The cat eats the cow. The cat is kind. The cat does not need the bald eagle. The cow is green. The cow needs the cat. The dog eats the cow. The dog is rough. The dog sees the cow. If the bald eagle eats the cow then the cow needs the cat. If the cow does not need the bald eagle then the cow is green. If the bald eagle does not see the cow then the bald eagle does not eat the cow. If something needs the bald eagle and it is not kind then it does not see the bald eagle. If the cow is not kind and the cow does not eat the dog then the dog sees the bald eagle. If something sees the cat then the cat sees the dog.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The cow is green.
("cow" "is" "green" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If the bald eagle eats the cow then the cow needs the cat.
((("bald eagle" "eats" "cow" "+")) -> ("cow" "needs" "cat" "+"))
If the cow does not need the bald eagle then the cow is green.
((("cow" "needs" "bald eagle" "~")) -> ("cow" "is" "green" "+"))
If the bald eagle does not see the cow then the bald eagle does not eat the cow.
((("bald eagle" "sees" "cow" "~")) -> ("bald eagle" "eats" "cow" "-"))
If something needs the bald eagle and it is not kind then it does not see the bald eagle.
((("something" "needs" "bald eagle" "+") ("something" "is" "kind" "~")) -> ("something" "sees" "bald eagle" "-"))
If the cow is not kind and the cow does not eat the dog then the dog sees the bald eagle.
((("cow" "is" "kind" "~") ("cow" "eats" "dog" "~")) -> ("dog" "sees" "bald eagle" "+"))
If something sees the cat then the cat sees the dog.
((("something" "sees" "cat" "+")) -> ("cat" "sees" "dog" "+"))
The bald eagle is not green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The dog does not see the cow.
False
1
inv-proof
[(triple10)]
("dog" "sees" "cow" "-")
triple10
The dog does not see the bald eagle.
Unknown
inv-rconc
[@1: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle is not green.[(triple1)] The bald eagle sees the cow.[(triple2)] The cat does not need the bald eagle.[(triple5)] The cat eats the cow.[(triple3)] The cat is kind.[(triple4)] The cow is green.[(triple6)] The cow needs the cat.[(triple7)] The dog eats the cow.[(triple8)] The dog is rough.[(triple9)] The dog sees the cow.[(triple10)]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10