The bald eagle does not eat the cow. The bald eagle is not cold. The bald eagle needs the cat. The bald eagle needs the cow. The cat eats the cow. The cat eats the dog. The cat is cold. The cat needs the cow. The cow eats the cat. The cow is nice. The cow needs the bald eagle. The cow needs the dog. The dog eats the bald eagle. The dog eats the cow. The dog needs the bald eagle. If the bald eagle is not cold and the bald eagle is not nice then the bald eagle does not eat the cow. If someone needs the dog then they eat the cat.
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If the bald eagle is not cold and the bald eagle is not nice then the bald eagle does not eat the cow.
((("bald eagle" "is" "cold" "~") ("bald eagle" "is" "nice" "~")) -> ("bald eagle" "eats" "cow" "-"))
If someone needs the dog then they eat the cat.
((("someone" "needs" "dog" "+")) -> ("someone" "eats" "cat" "+"))
The cat eats the dog.
True
1
proof
[(triple6)]
("cat" "eats" "dog" "+")
triple6
The dog does not eat the cow.
False
1
inv-proof
[(triple14)]
("dog" "eats" "cow" "-")
triple14
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "cat" "-")
The dog chases the bald eagle.
Unknown
random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "+")
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the cow.[(triple4)] The cat eats the cow.[(triple5)] The cat eats the dog.[(triple6)] The cat is cold.[(triple7)] The cat needs the cow.[(triple8)] The cow eats the cat.[(triple9 OR ((triple12) -> rule2))] The cow is nice.[(triple10)] The cow needs the bald eagle.[(triple11)] The cow needs the dog.[(triple12)] The dog eats the bald eagle.[(triple13)] The dog eats the cow.[(triple14)] The dog needs the bald eagle.[(triple15)]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat eats the dog.
("cat" "eats" "dog" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
((triple12) -> (rule2 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple11
The cow needs the dog.
("cow" "needs" "dog" "+")
triple12
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple13
The dog eats the cow.
("dog" "eats" "cow" "+")
triple14
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple15