The bald eagle likes the lion. The bald eagle does not need the bear. The bald eagle does not see the bear. The bear is green. The bear is not kind. The bear sees the dog. The dog is kind. The dog does not need the lion. The dog sees the bear. The lion does not like the bald eagle. The lion needs the bald eagle. The lion sees the bald eagle. If something needs the bald eagle and the bald eagle is not rough then the bald eagle likes the dog. If the bald eagle is green and the bald eagle is not young then the bald eagle likes the dog. If something needs the bald eagle then the bald eagle is kind. If something likes the bear then the bear does not like the lion. If the bear is rough then the bear likes the lion. If something is kind then it sees the bald eagle. If something sees the dog and the dog needs the lion then the dog is young. If something needs the lion then the lion needs the dog.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something needs the bald eagle and the bald eagle is not rough then the bald eagle likes the dog.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "rough" "~")) -> ("bald eagle" "likes" "dog" "+"))
If the bald eagle is green and the bald eagle is not young then the bald eagle likes the dog.
((("bald eagle" "is" "green" "+") ("bald eagle" "is" "young" "~")) -> ("bald eagle" "likes" "dog" "+"))
If something needs the bald eagle then the bald eagle is kind.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something likes the bear then the bear does not like the lion.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "lion" "-"))
If the bear is rough then the bear likes the lion.
((("bear" "is" "rough" "+")) -> ("bear" "likes" "lion" "+"))
If something is kind then it sees the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the dog and the dog needs the lion then the dog is young.
((("something" "sees" "dog" "+") ("dog" "needs" "lion" "+")) -> ("dog" "is" "young" "+"))
If something needs the lion then the lion needs the dog.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "dog" "+"))
The dog is kind.
True
1
proof
[(triple7)]
("dog" "is" "kind" "+")
triple7
The bear is kind.
False
1
inv-proof
[(triple5)]
("bear" "is" "kind" "+")
triple5
The bald eagle is kind.
True
2
proof
[(((triple11) -> rule3))]
("bald eagle" "is" "kind" "+")
((triple11) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple11) -> rule3))]
("bald eagle" "is" "kind" "-")
((triple11) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the bald eagle.
True
3
proof
[(((((triple11) -> rule3)) -> rule6))]
("bald eagle" "sees" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle does not see the bald eagle.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule6))]
("bald eagle" "sees" "bald eagle" "-")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bear sees the bald eagle.
Unknown
rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bald eagle" "+")
The lion does not need the dog.
Unknown
inv-rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not like the lion.
Unknown
inv-random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle does not need the bear.[(triple2)] The bald eagle does not see the bear.[(triple3)] The bald eagle likes the lion.[(triple1)] The bear is green.[(triple4)] The bear is not kind.[(triple5)] The bear sees the dog.[(triple6)] The dog does not need the lion.[(triple8)] The dog is kind.[(triple7)] The dog sees the bear.[(triple9)] The lion does not like the bald eagle.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The bald eagle is kind.[(((triple11) -> rule3))] The dog sees the bald eagle.[(((triple7) -> rule6))] @2: The bald eagle sees the bald eagle.[(((((triple11) -> rule3)) -> rule6))]
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
triple2
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is not kind.
("bear" "is" "kind" "-")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog sees the bear.
("dog" "sees" "bear" "+")
triple9
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple11) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2