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