The bear chases the cat. The bear is blue. The bear is young. The cat does not chase the lion. The cat is not big. The cat is kind. The cat is not red. The cat does not need the bear. The lion does not need the bear. The squirrel is not blue. If the lion likes the bear and the bear chases the lion then the bear chases the cat. If someone is young then they do not chase the bear. If someone is big and they do not need the cat then they are not young. If someone is big then they like the cat. If someone chases the squirrel and they need the cat then they like the bear. If someone is big and red then they chase the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The cat does not chase the lion.
("cat" "chases" "lion" "-")
The cat is not big.
("cat" "is" "big" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The lion does not need the bear.
("lion" "needs" "bear" "-")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
If the lion likes the bear and the bear chases the lion then the bear chases the cat.
((("lion" "likes" "bear" "+") ("bear" "chases" "lion" "+")) -> ("bear" "chases" "cat" "+"))
If someone is young then they do not chase the bear.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bear" "-"))
If someone is big and they do not need the cat then they are not young.
((("someone" "is" "big" "+") ("someone" "needs" "cat" "~")) -> ("someone" "is" "young" "-"))
If someone is big then they like the cat.
((("someone" "is" "big" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the squirrel and they need the cat then they like the bear.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone is big and red then they chase the cat.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "cat" "+"))
The cat does not chase the lion.
True
1
proof
[(triple4)]
("cat" "chases" "lion" "-")
triple4
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The bear does not chase the bear.
True
2
proof
[(((triple3) -> rule2))]
("bear" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
The bear chases the bear.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
The squirrel does not like the bear.
Unknown
inv-rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The cat likes the bear.
Unknown
rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "likes" "bear" "+")
The cat does not chase the bear.
Unknown
inv-random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The cat does not chase the lion.[(triple4)] The cat does not need the bear.[(triple8)] The cat is kind.[(triple6)] The cat is not big.[(triple5)] The cat is not red.[(triple7)] The lion does not need the bear.[(triple9)] The squirrel is not blue.[(triple10)] @1: The bear does not chase the bear.[(((triple3) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The cat does not chase the lion.
("cat" "chases" "lion" "-")
triple4
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is not big.
("cat" "is" "big" "-")
triple5
The cat is not red.
("cat" "is" "red" "-")
triple7
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple9
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The bear does not chase the bear.
("bear" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1