The bald eagle eats the cat. The bald eagle is green. The bald eagle is round. The cat is green. The dog needs the lion. The lion eats the cat. The lion is cold. The lion is round. The lion visits the bald eagle. The lion visits the dog. If someone needs the bald eagle then the bald eagle needs the cat. If someone visits the lion then they need the dog. If someone needs the cat then the cat needs the lion. If someone visits the lion and they need the bald eagle then the lion eats the cat. If someone eats the dog and the dog is young then they are nice. If someone eats the bald eagle and the bald eagle is cold then they are round. If someone is round and they visit the lion then the lion visits the dog. If the bald eagle visits the dog and the dog is green then the bald eagle needs the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat is green.
("cat" "is" "green" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone needs the bald eagle then the bald eagle needs the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone visits the lion then they need the dog.
((("someone" "visits" "lion" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the cat then the cat needs the lion.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If someone visits the lion and they need the bald eagle then the lion eats the cat.
((("someone" "visits" "lion" "+") ("someone" "needs" "bald eagle" "+")) -> ("lion" "eats" "cat" "+"))
If someone eats the dog and the dog is young then they are nice.
((("someone" "eats" "dog" "+") ("dog" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bald eagle and the bald eagle is cold then they are round.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and they visit the lion then the lion visits the dog.
((("someone" "is" "round" "+") ("someone" "visits" "lion" "+")) -> ("lion" "visits" "dog" "+"))
If the bald eagle visits the dog and the dog is green then the bald eagle needs the cat.
((("bald eagle" "visits" "dog" "+") ("dog" "is" "green" "+")) -> ("bald eagle" "needs" "cat" "+"))
The lion eats the cat.
True
1
proof
[(triple6)]
("lion" "eats" "cat" "+")
triple6
The cat is not green.
False
1
inv-proof
[(triple4)]
("cat" "is" "green" "-")
triple4
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The cat is green.[(triple4)] The dog needs the lion.[(triple5)] The lion eats the cat.[(triple6)] The lion is cold.[(triple7)] The lion is round.[(triple8)] The lion visits the bald eagle.[(triple9)] The lion visits the dog.[(triple10)]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The dog needs the lion.
("dog" "needs" "lion" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10