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