The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle needs the cat. The bald eagle needs the lion. The bald eagle visits the cat. The bald eagle visits the lion. The cat is cold. The cat likes the lion. The cat needs the bald eagle. The cat needs the lion. The cat visits the bald eagle. The lion is rough. The lion likes the bald eagle. The lion visits the cat. If someone is blue and they need the bald eagle then the bald eagle needs the cat. If someone needs the cat and the cat is round then the cat visits the lion. If someone likes the cat then they like the lion.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone is blue and they need the bald eagle then the bald eagle needs the cat.
((("someone" "is" "blue" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone needs the cat and the cat is round then the cat visits the lion.
((("someone" "needs" "cat" "+") ("cat" "is" "round" "+")) -> ("cat" "visits" "lion" "+"))
If someone likes the cat then they like the lion.
((("someone" "likes" "cat" "+")) -> ("someone" "likes" "lion" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cat" "+")
triple2
The cat does not need the lion.
False
1
inv-proof
[(triple11)]
("cat" "needs" "lion" "-")
triple11
The cat does not visit the lion.
Unknown
inv-rconc
[@1: The cat visits the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "lion" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the lion.[(triple3 OR ((triple2) -> rule3))] The bald eagle needs the cat.[(triple4)] The bald eagle needs the lion.[(triple5)] The bald eagle visits the cat.[(triple6)] The bald eagle visits the lion.[(triple7)] The cat is cold.[(triple8)] The cat likes the lion.[(triple9)] The cat needs the bald eagle.[(triple10)] The cat needs the lion.[(triple11)] The cat visits the bald eagle.[(triple12)] The lion is rough.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion visits the cat.[(triple15)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
((triple2) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple6
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat likes the lion.
("cat" "likes" "lion" "+")
triple9
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The cat needs the lion.
("cat" "needs" "lion" "+")
triple11
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The lion is rough.
("lion" "is" "rough" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15