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