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