The bald eagle needs the lion. The cat is big. The cat is young. The cat likes the bald eagle. The lion is blue. The lion likes the rabbit. The lion sees the bald eagle. The rabbit is round. The rabbit needs the cat. The rabbit needs the lion. If someone likes the cat then the cat likes the bald eagle. If the bald eagle is blue and the bald eagle sees the rabbit then the rabbit is blue. If someone needs the lion then the lion needs the rabbit.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If someone likes the cat then the cat likes the bald eagle.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the bald eagle is blue and the bald eagle sees the rabbit then the rabbit is blue.
((("bald eagle" "is" "blue" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If someone needs the lion then the lion needs the rabbit.
((("someone" "needs" "lion" "+")) -> ("lion" "needs" "rabbit" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple4)]
("cat" "likes" "bald eagle" "+")
triple4
The rabbit is not round.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "round" "-")
triple8
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle needs the lion.[(triple1)] The cat is big.[(triple2)] The cat is young.[(triple3)] The cat likes the bald eagle.[(triple4)] The lion is blue.[(triple5)] The lion likes the rabbit.[(triple6)] The lion sees the bald eagle.[(triple7)] The rabbit is round.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The lion needs the rabbit.[(((triple1) -> rule3) OR ((triple10) -> rule3))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple9
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple10
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
((triple1) -> (rule3 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
((triple10) -> (rule3 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1