The bald eagle chases the bear. The bald eagle needs the bear. The bald eagle needs the lion. The bald eagle sees the bear. The bear is red. The bear is round. The cat is nice. The cat is not rough. The cat sees the bear. The lion chases the bald eagle. The lion chases the bear. The lion is round. The lion needs the cat. The lion sees the bald eagle. The lion sees the bear. The lion does not see the cat. If someone is nice then they do not need the cat. If someone needs the bear then they are rough. If the lion needs the cat then the cat sees the bald eagle. If someone chases the lion and the lion sees the bald eagle then the bald eagle chases the bear. If someone chases the lion and the lion sees the cat then the lion is round. If someone chases the bald eagle and the bald eagle is rough then they do not need the lion. If the lion sees the bald eagle then the lion is big. If someone is big and they do not need the bear then they chase the lion.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat sees the bear.
("cat" "sees" "bear" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion does not see the cat.
("lion" "sees" "cat" "-")
If someone is nice then they do not need the cat.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cat" "-"))
If someone needs the bear then they are rough.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "rough" "+"))
If the lion needs the cat then the cat sees the bald eagle.
((("lion" "needs" "cat" "+")) -> ("cat" "sees" "bald eagle" "+"))
If someone chases the lion and the lion sees the bald eagle then the bald eagle chases the bear.
((("someone" "chases" "lion" "+") ("lion" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If someone chases the lion and the lion sees the cat then the lion is round.
((("someone" "chases" "lion" "+") ("lion" "sees" "cat" "+")) -> ("lion" "is" "round" "+"))
If someone chases the bald eagle and the bald eagle is rough then they do not need the lion.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("someone" "needs" "lion" "-"))
If the lion sees the bald eagle then the lion is big.
((("lion" "sees" "bald eagle" "+")) -> ("lion" "is" "big" "+"))
If someone is big and they do not need the bear then they chase the lion.
((("someone" "is" "big" "+") ("someone" "needs" "bear" "~")) -> ("someone" "chases" "lion" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple4)]
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle does not need the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "lion" "-")
triple3
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The cat is nice.[(triple7)] The cat is not rough.[(triple8)] The cat sees the bear.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion chases the bear.[(triple11)] The lion does not see the cat.[(triple16)] The lion is round.[(triple12)] The lion needs the cat.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the bear.[(triple15)] @1: The bald eagle is rough.[(((triple2) -> rule2))] The cat does not need the cat.[(((triple7) -> rule1))] The cat sees the bald eagle.[(((triple13) -> rule3))] The lion is big.[(((triple14) -> rule7))] @2: The lion does not need the lion.[(((triple10 ((triple2) -> rule2)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "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 red.
("bear" "is" "red" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is not rough.
("cat" "is" "rough" "-")
triple8
The cat sees the bear.
("cat" "sees" "bear" "+")
triple9
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple10
The lion chases the bear.
("lion" "chases" "bear" "+")
triple11
The lion does not see the cat.
("lion" "sees" "cat" "-")
triple16
The lion is round.
("lion" "is" "round" "+")
triple12
The lion needs the cat.
("lion" "needs" "cat" "+")
triple13
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple14
The lion sees the bear.
("lion" "sees" "bear" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The cat does not need the cat.
("cat" "needs" "cat" "-")
((triple7) -> (rule1 % int1))
The cat does not need the cat.
("cat" "needs" "cat" "-")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((triple13) -> (rule3 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple14) -> (rule7 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion does not need the lion.
("lion" "needs" "lion" "-")
((triple10 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2