The bear eats the cat. The cat is young. The cat needs the bear. The cat needs the lion. The cow is cold. The cow needs the lion. The cow visits the bear. The lion is rough. The lion needs the cat. The lion visits the cat. If someone needs the cow and the cow visits the lion then the cow visits the bear. If someone is green and they eat the cow then they need the cow.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone needs the cow and the cow visits the lion then the cow visits the bear.
((("someone" "needs" "cow" "+") ("cow" "visits" "lion" "+")) -> ("cow" "visits" "bear" "+"))
If someone is green and they eat the cow then they need the cow.
((("someone" "is" "green" "+") ("someone" "eats" "cow" "+")) -> ("someone" "needs" "cow" "+"))
The cow visits the bear.
True
1
proof
[(triple7)]
("cow" "visits" "bear" "+")
triple7
The lion is not rough.
False
1
inv-proof
[(triple8)]
("lion" "is" "rough" "-")
triple8
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cow" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear eats the cat.[(triple1)] The cat is young.[(triple2)] The cat needs the bear.[(triple3)] The cat needs the lion.[(triple4)] The cow is cold.[(triple5)] The cow needs the lion.[(triple6)] The cow visits the bear.[(triple7)] The lion is rough.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the cat.[(triple10)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The cat needs the lion.
("cat" "needs" "lion" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow needs the lion.
("cow" "needs" "lion" "+")
triple6
The cow visits the bear.
("cow" "visits" "bear" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The lion visits the cat.
("lion" "visits" "cat" "+")
triple10