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