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