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