The bear needs the dog. The dog chases the mouse. The dog is round. The mouse is nice. The squirrel does not chase the bear. The squirrel sees the bear. The squirrel sees the dog. If something is big and it needs the mouse then the mouse chases the bear. If something chases the mouse and the mouse does not see the squirrel then it does not see the bear.
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something is big and it needs the mouse then the mouse chases the bear.
((("something" "is" "big" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something chases the mouse and the mouse does not see the squirrel then it does not see the bear.
((("something" "chases" "mouse" "+") ("mouse" "sees" "squirrel" "~")) -> ("something" "sees" "bear" "-"))
The bear needs the dog.
True
1
proof
[(triple1)]
("bear" "needs" "dog" "+")
triple1
The squirrel does not see the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "sees" "bear" "-")
triple6
The mouse does not chase the bear.
Unknown
inv-rconc
[@1: The mouse chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "bear" "-")
The mouse sees the squirrel.
Unknown
random
[@0: The mouse sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "squirrel" "+")
@0: The bear needs the dog.[(triple1)] The dog chases the mouse.[(triple2)] The dog is round.[(triple3)] The mouse is nice.[(triple4)] The squirrel does not chase the bear.[(triple5)] The squirrel sees the bear.[(triple6)] The squirrel sees the dog.[(triple7)]
The bear needs the dog.
("bear" "needs" "dog" "+")
triple1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple5
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple6
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple7