The bald eagle eats the lion. The bald eagle needs the bear. The bear is not round. The bear needs the lion. The lion likes the bald eagle. The lion likes the bear. The lion needs the bear. If the lion does not eat the bald eagle then the bald eagle is cold. If something needs the lion then it likes the lion. If something likes the lion then it is not blue.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If the lion does not eat the bald eagle then the bald eagle is cold.
((("lion" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "cold" "+"))
If something needs the lion then it likes the lion.
((("something" "needs" "lion" "+")) -> ("something" "likes" "lion" "+"))
If something likes the lion then it is not blue.
((("something" "likes" "lion" "+")) -> ("something" "is" "blue" "-"))
The lion needs the bear.
True
1
proof
[(triple7)]
("lion" "needs" "bear" "+")
triple7
The lion does not like the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "likes" "bald eagle" "-")
triple5
The bear likes the lion.
True
2
proof
[(((triple4) -> rule2))]
("bear" "likes" "lion" "+")
((triple4) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "likes" "lion" "-")
((triple4) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is not blue.
True
3
proof
[(((((triple4) -> rule2)) -> rule3))]
("bear" "is" "blue" "-")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The bear is blue.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule3))]
("bear" "is" "blue" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "lion" "+")
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
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 eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear is not round.[(triple3)] The bear needs the lion.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the bear.[(triple6)] The lion needs the bear.[(triple7)] @1: The bear likes the lion.[(((triple4) -> rule2))] @2: The bear is not blue.[(((((triple4) -> rule2)) -> rule3))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The bear needs the lion.
("bear" "needs" "lion" "+")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple4) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is not blue.
("bear" "is" "blue" "-")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2