The bear needs the cat. The cat chases the bear. The cat chases the squirrel. The cat is not cold. The cat is not kind. The cat is young. The cat likes the bear. The cat likes the squirrel. The cat needs the bear. The cat needs the squirrel. The squirrel chases the bear. The squirrel is cold. The squirrel is kind. The squirrel likes the bear. The squirrel needs the bear. If someone chases the squirrel then they need the squirrel.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the squirrel then they need the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel chases the bear.
True
1
proof
[(triple11)]
("squirrel" "chases" "bear" "+")
triple11
The bear does not need the cat.
False
1
inv-proof
[(triple1)]
("bear" "needs" "cat" "-")
triple1
The bear does not need the squirrel.
Unknown
inv-rconc
[@1: The bear needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "squirrel" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear needs the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the squirrel.[(triple3)] The cat is not cold.[(triple4)] The cat is not kind.[(triple5)] The cat is young.[(triple6)] The cat likes the bear.[(triple7)] The cat likes the squirrel.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the squirrel.[(triple10 OR ((triple3) -> rule1))] The squirrel chases the bear.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel needs the bear.[(triple15)]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple3
The cat is not cold.
("cat" "is" "cold" "-")
triple4
The cat is not kind.
("cat" "is" "kind" "-")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the bear.
("cat" "likes" "bear" "+")
triple7
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple10
((triple3) -> (rule1 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15