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