The bald eagle is blue. The bald eagle does not like the lion. The bald eagle likes the tiger. The bald eagle needs the lion. The bald eagle needs the tiger. The bald eagle does not see the lion. The bald eagle does not see the tiger. The lion likes the tiger. The lion sees the bald eagle. The lion does not see the tiger. The tiger is not blue. The tiger does not like the bald eagle. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger sees the lion. If someone needs the lion and the lion does not see the tiger then the tiger does not need the lion. If someone sees the tiger and the tiger is red then they are not red. If the bald eagle is young then the bald eagle sees the tiger. If someone likes the lion then the lion is blue. If the tiger sees the lion then the tiger sees the bald eagle. If someone is young then they need the tiger. If someone needs the bald eagle and they are big then they like the lion. If the tiger likes the lion then the lion is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone needs the lion and the lion does not see the tiger then the tiger does not need the lion.
((("someone" "needs" "lion" "+") ("lion" "sees" "tiger" "~")) -> ("tiger" "needs" "lion" "-"))
If someone sees the tiger and the tiger is red then they are not red.
((("someone" "sees" "tiger" "+") ("tiger" "is" "red" "+")) -> ("someone" "is" "red" "-"))
If the bald eagle is young then the bald eagle sees the tiger.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone likes the lion then the lion is blue.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If the tiger sees the lion then the tiger sees the bald eagle.
((("tiger" "sees" "lion" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If someone is young then they need the tiger.
((("someone" "is" "young" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the bald eagle and they are big then they like the lion.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "lion" "+"))
If the tiger likes the lion then the lion is red.
((("tiger" "likes" "lion" "+")) -> ("lion" "is" "red" "+"))
The bald eagle does not like the lion.
True
1
proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple14 OR ((triple15) -> rule5))]
("tiger" "sees" "bald eagle" "-")
triple14
((triple15) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger does not need the lion.
True
3
proof
[(((triple4 triple10) -> rule1))]
("tiger" "needs" "lion" "-")
((triple4 triple10) -> (rule1 % int1))
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
int1
The tiger needs the lion.
False
3
inv-proof
[(((triple4 triple10) -> rule1))]
("tiger" "needs" "lion" "+")
((triple4 triple10) -> (rule1 % int1))
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
int1
The lion does not need the tiger.
Unknown
inv-rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "needs" "tiger" "-")
The lion is red.
Unknown
rconc
[@2: The lion is red.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("lion" "is" "red" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
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 like the lion.[(triple2)] The bald eagle does not see the lion.[(triple6)] The bald eagle does not see the tiger.[(triple7)] The bald eagle is blue.[(triple1)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle needs the tiger.[(triple5)] The lion does not see the tiger.[(triple10)] The lion likes the tiger.[(triple8)] The lion sees the bald eagle.[(triple9)] The tiger does not like the bald eagle.[(triple12)] The tiger is not blue.[(triple11)] The tiger needs the bald eagle.[(triple13)] The tiger sees the bald eagle.[(triple14 OR ((triple15) -> rule5))] The tiger sees the lion.[(triple15)] @1: The tiger does not need the lion.[(((triple4 triple10) -> rule1))]
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple6
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple5
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple10
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple12
The tiger is not blue.
("tiger" "is" "blue" "-")
triple11
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
((triple15) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple15
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
((triple4 triple10) -> (rule1 % int1))
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
int1