The bald eagle eats the dog. The cow eats the dog. The cow is cold. The cow is nice. The cow does not like the dog. The cow sees the dog. The dog eats the lion. The dog is cold. The dog is nice. The dog likes the bald eagle. The dog does not like the cow. The dog does not see the lion. The lion likes the bald eagle. The lion likes the cow. The lion does not like the dog. The lion sees the bald eagle. If something eats the cow then it eats the dog. If the dog eats the bald eagle and the bald eagle likes the dog then the bald eagle does not eat the cow.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog does not see the lion.
("dog" "sees" "lion" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion does not like the dog.
("lion" "likes" "dog" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something eats the cow then it eats the dog.
((("something" "eats" "cow" "+")) -> ("something" "eats" "dog" "+"))
If the dog eats the bald eagle and the bald eagle likes the dog then the bald eagle does not eat the cow.
((("dog" "eats" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "eats" "cow" "-"))
The cow is nice.
True
1
proof
[(triple4)]
("cow" "is" "nice" "+")
triple4
The dog does not eat the lion.
False
1
inv-proof
[(triple7)]
("dog" "eats" "lion" "-")
triple7
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The cow likes the bald eagle.
Unknown
random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "+")
@0: The bald eagle eats the dog.[(triple1)] The cow does not like the dog.[(triple5)] The cow eats the dog.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow sees the dog.[(triple6)] The dog does not like the cow.[(triple11)] The dog does not see the lion.[(triple12)] The dog eats the lion.[(triple7)] The dog is cold.[(triple8)] The dog is nice.[(triple9)] The dog likes the bald eagle.[(triple10)] The lion does not like the dog.[(triple15)] The lion likes the bald eagle.[(triple13)] The lion likes the cow.[(triple14)] The lion sees the bald eagle.[(triple16)]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple11
The dog does not see the lion.
("dog" "sees" "lion" "-")
triple12
The dog eats the lion.
("dog" "eats" "lion" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The lion does not like the dog.
("lion" "likes" "dog" "-")
triple15
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple16