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