The bald eagle is green. The bald eagle is red. The bald eagle likes the lion. The bear chases the bald eagle. The bear needs the bald eagle. The bear needs the lion. The cow is green. The cow needs the bald eagle. The cow needs the lion. The lion is blue. The lion likes the bear. The lion needs the cow. If something is nice and green then it needs the bald eagle. If something likes the lion then it is nice.
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 bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something is nice and green then it needs the bald eagle.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "needs" "bald eagle" "+"))
If something likes the lion then it is nice.
((("something" "likes" "lion" "+")) -> ("something" "is" "nice" "+"))
The lion likes the bear.
True
1
proof
[(triple11)]
("lion" "likes" "bear" "+")
triple11
The lion is not blue.
False
1
inv-proof
[(triple10)]
("lion" "is" "blue" "-")
triple10
The bald eagle is nice.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "nice" "+")
((triple3) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "nice" "-")
((triple3) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the bald eagle.
True
4
proof
[(((((triple3) -> rule2) triple1) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((((triple3) -> rule2) triple1) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "nice" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "nice" "+")
The lion does not need the bald eagle.
Unknown
inv-rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "bald eagle" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the lion.[(triple6)] The cow is green.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow needs the lion.[(triple9)] The lion is blue.[(triple10)] The lion likes the bear.[(triple11)] The lion needs the cow.[(triple12)] @1: The bald eagle is nice.[(((triple3) -> rule2))] @2: The bald eagle needs the bald eagle.[(((((triple3) -> rule2) triple1) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear needs the lion.
("bear" "needs" "lion" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The cow needs the lion.
("cow" "needs" "lion" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion likes the bear.
("lion" "likes" "bear" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple3) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2