The bear needs the cat. The cat visits the bear. The squirrel needs the bear. If someone is big and they do not see the squirrel then the squirrel sees the bear. If the squirrel needs the bear then the bear is kind.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone is big and they do not see the squirrel then the squirrel sees the bear.
((("someone" "is" "big" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "sees" "bear" "+"))
If the squirrel needs the bear then the bear is kind.
((("squirrel" "needs" "bear" "+")) -> ("bear" "is" "kind" "+"))
The cat visits the bear.
True
1
proof
[(triple2)]
("cat" "visits" "bear" "+")
triple2
The cat does not visit the bear.
False
1
inv-proof
[(triple2)]
("cat" "visits" "bear" "-")
triple2
The bear is kind.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "is" "kind" "-")
((triple3) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel does not see the bear.
Unknown
inv-rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bear needs the cat.[(triple1)] The cat visits the bear.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear is kind.[(((triple3) -> rule2))]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat visits the bear.
("cat" "visits" "bear" "+")
triple2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1