The bald eagle likes the bear. The bald eagle needs the cow. The bear is kind. The bear needs the bald eagle. The bear sees the bald eagle. The bear sees the lion. The cow is big. The cow is not rough. The cow likes the bald eagle. The cow needs the bald eagle. The cow needs the bear. The cow needs the lion. The lion is cold. The lion does not like the bear. The lion sees the bear. If something likes the bear then it sees the lion.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something likes the bear then it sees the lion.
((("something" "likes" "bear" "+")) -> ("something" "sees" "lion" "+"))
The cow is not rough.
True
1
proof
[(triple8)]
("cow" "is" "rough" "-")
triple8
The lion likes the bear.
False
1
inv-proof
[(triple14)]
("lion" "likes" "bear" "+")
triple14
The bald eagle sees the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bald eagle does not see the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "lion" "-")
The cow sees the lion.
Unknown
rconc
[@1: The cow sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "lion" "+")
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The lion likes the bald eagle.
Unknown
random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear is kind.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the lion.[(triple6)] The cow is big.[(triple7)] The cow is not rough.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the bear.[(triple11)] The cow needs the lion.[(triple12)] The lion does not like the bear.[(triple14)] The lion is cold.[(triple13)] The lion sees the bear.[(triple15)] @1: The bald eagle sees the lion.[(((triple1) -> rule1))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The bear sees the lion.
("bear" "sees" "lion" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is not rough.
("cow" "is" "rough" "-")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow needs the lion.
("cow" "needs" "lion" "+")
triple12
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple14
The lion is cold.
("lion" "is" "cold" "+")
triple13
The lion sees the bear.
("lion" "sees" "bear" "+")
triple15
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1