The bear sees the lion. The cat is big. The cat is blue. The cat is cold. The cat needs the bear. The cat needs the squirrel. The lion sees the squirrel. The squirrel is big. The squirrel is blue. The squirrel sees the cat. If someone sees the squirrel then they need the squirrel.
The bear sees the lion.
("bear" "sees" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the squirrel then they need the squirrel.
((("someone" "sees" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel is big.
True
1
proof
[(triple8)]
("squirrel" "is" "big" "+")
triple8
The cat is not cold.
False
1
inv-proof
[(triple4)]
("cat" "is" "cold" "-")
triple4
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 squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bear sees the lion.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat needs the bear.[(triple5)] The cat needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The lion needs the squirrel.[(((triple7) -> rule1))]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat needs the bear.
("cat" "needs" "bear" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
((triple7) -> (rule1 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1