The bald eagle eats the dog. The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the dog. The cat does not like the dog. The cow sees the cat. The dog eats the cat. If someone sees the dog and the dog likes the cat then they like the cow. If someone sees the cow and the cow is green then they see the dog. If someone eats the dog then they do not see the cow.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The cow sees the cat.
("cow" "sees" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
If someone sees the dog and the dog likes the cat then they like the cow.
((("someone" "sees" "dog" "+") ("dog" "likes" "cat" "+")) -> ("someone" "likes" "cow" "+"))
If someone sees the cow and the cow is green then they see the dog.
((("someone" "sees" "cow" "+") ("cow" "is" "green" "+")) -> ("someone" "sees" "dog" "+"))
If someone eats the dog then they do not see the cow.
((("someone" "eats" "dog" "+")) -> ("someone" "sees" "cow" "-"))
The bald eagle eats the dog.
True
1
proof
[(triple1)]
("bald eagle" "eats" "dog" "+")
triple1
The cat likes the dog.
False
1
inv-proof
[(triple5)]
("cat" "likes" "dog" "+")
triple5
The cow does not see the dog.
Unknown
inv-rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "dog" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The cat does not like the dog.[(triple5)] The cow sees the cat.[(triple6)] The dog eats the cat.[(triple7)] @1: The bald eagle does not see the cow.[(((triple1) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple5
The cow sees the cat.
("cow" "sees" "cat" "+")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
((triple1) -> (rule3 % int1))
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
int1