The bald eagle eats the lion. The bald eagle is not nice. The bald eagle is red. The bald eagle does not need the tiger. The lion likes the bald eagle. The lion needs the bald eagle. The tiger does not eat the bald eagle. The tiger is cold. The tiger is red. The tiger likes the lion. The tiger does not need the bald eagle. The tiger does not need the lion. If someone eats the tiger then they are blue. If someone likes the lion then the lion likes the tiger. If someone likes the tiger and the tiger eats the bald eagle then the bald eagle is blue.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
If someone eats the tiger then they are blue.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the lion then the lion likes the tiger.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone likes the tiger and the tiger eats the bald eagle then the bald eagle is blue.
((("someone" "likes" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The tiger likes the lion.
True
1
proof
[(triple10)]
("tiger" "likes" "lion" "+")
triple10
The bald eagle is nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The lion likes the tiger.
True
2
proof
[(((triple10) -> rule2))]
("lion" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule2))]
("lion" "likes" "tiger" "-")
((triple10) -> (rule2 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle does not need the tiger.[(triple4)] The bald eagle eats the lion.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is red.[(triple3)] The lion likes the bald eagle.[(triple5)] The lion needs the bald eagle.[(triple6)] The tiger does not eat the bald eagle.[(triple7)] The tiger does not need the bald eagle.[(triple11)] The tiger does not need the lion.[(triple12)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion likes the tiger.[(((triple10) -> rule2))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple6
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
triple7
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple11
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple10
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1