The bear needs the cat. The cat likes the bear. The lion needs the cat. If someone is red and they chase the cat then the cat likes the lion. If someone chases the lion then they need the lion. If the bear chases the cat then the cat is red. Round people are young. If someone chases the bear then the bear likes the cat. If someone is red then they need the lion. If someone likes the cat then the cat is red. If someone likes the bear and they chase the lion then the bear is cold.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone is red and they chase the cat then the cat likes the lion.
((("someone" "is" "red" "+") ("someone" "chases" "cat" "+")) -> ("cat" "likes" "lion" "+"))
If someone chases the lion then they need the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "needs" "lion" "+"))
If the bear chases the cat then the cat is red.
((("bear" "chases" "cat" "+")) -> ("cat" "is" "red" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone chases the bear then the bear likes the cat.
((("someone" "chases" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If someone is red then they need the lion.
((("someone" "is" "red" "+")) -> ("someone" "needs" "lion" "+"))
If someone likes the cat then the cat is red.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone likes the bear and they chase the lion then the bear is cold.
((("someone" "likes" "bear" "+") ("someone" "chases" "lion" "+")) -> ("bear" "is" "cold" "+"))
The lion needs the cat.
True
1
proof
[(triple3)]
("lion" "needs" "cat" "+")
triple3
The bear does not need the cat.
False
1
inv-proof
[(triple1)]
("bear" "needs" "cat" "-")
triple1
The cat does not need the lion.
Unknown
inv-rconc
[@3: The cat needs the lion.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule5 <- FAIL)]]
("cat" "needs" "lion" "-")
The cat needs the bear.
Unknown
random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "+")
@0: The bear needs the cat.[(triple1)] The cat likes the bear.[(triple2)] The lion needs the cat.[(triple3)]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat likes the bear.
("cat" "likes" "bear" "+")
triple2
The lion needs the cat.
("lion" "needs" "cat" "+")
triple3