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