The bald eagle is kind. The bald eagle visits the cat. The bald eagle visits the dog. The bald eagle visits the tiger. The cat does not like the bald eagle. The cat needs the bald eagle. The cat needs the dog. The dog likes the cat. The tiger likes the bald eagle. The tiger likes the dog. If something is green then it needs the tiger. If something visits the tiger and it does not need the bald eagle then it is round.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If something is green then it needs the tiger.
((("something" "is" "green" "+")) -> ("something" "needs" "tiger" "+"))
If something visits the tiger and it does not need the bald eagle then it is round.
((("something" "visits" "tiger" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "is" "round" "+"))
The cat does not like the bald eagle.
True
1
proof
[(triple5)]
("cat" "likes" "bald eagle" "-")
triple5
The dog does not like the cat.
False
1
inv-proof
[(triple8)]
("dog" "likes" "cat" "-")
triple8
The cat does not need the tiger.
Unknown
inv-rconc
[@1: The cat needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "tiger" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the dog.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat does not like the bald eagle.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat needs the dog.[(triple7)] The dog likes the cat.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the dog.[(triple10)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The cat needs the dog.
("cat" "needs" "dog" "+")
triple7
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple10