The bear is kind. The bear is young. The bear needs the cat. The bear needs the squirrel. The cat eats the mouse. The cat is young. The cat needs the mouse. The cat needs the squirrel. The mouse does not chase the cat. The mouse is not kind. The mouse is not young. The squirrel chases the bear. If something chases the mouse then the mouse does not need the cat. If the mouse is young and the mouse does not chase the cat then the mouse needs the cat. If the bear chases the squirrel and the squirrel is not young then the squirrel chases the bear. If something is young and it needs the squirrel then the squirrel eats the bear. If something is round and it eats the bear then it needs the mouse. If the cat is cold and the cat does not need the squirrel then the squirrel does not chase the mouse. If the cat does not eat the bear and the cat is not young then the cat eats the mouse. If something is red then it chases the bear.
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is not young.
("mouse" "is" "young" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
If something chases the mouse then the mouse does not need the cat.
((("something" "chases" "mouse" "+")) -> ("mouse" "needs" "cat" "-"))
If the mouse is young and the mouse does not chase the cat then the mouse needs the cat.
((("mouse" "is" "young" "+") ("mouse" "chases" "cat" "~")) -> ("mouse" "needs" "cat" "+"))
If the bear chases the squirrel and the squirrel is not young then the squirrel chases the bear.
((("bear" "chases" "squirrel" "+") ("squirrel" "is" "young" "~")) -> ("squirrel" "chases" "bear" "+"))
If something is young and it needs the squirrel then the squirrel eats the bear.
((("something" "is" "young" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something is round and it eats the bear then it needs the mouse.
((("something" "is" "round" "+") ("something" "eats" "bear" "+")) -> ("something" "needs" "mouse" "+"))
If the cat is cold and the cat does not need the squirrel then the squirrel does not chase the mouse.
((("cat" "is" "cold" "+") ("cat" "needs" "squirrel" "~")) -> ("squirrel" "chases" "mouse" "-"))
If the cat does not eat the bear and the cat is not young then the cat eats the mouse.
((("cat" "eats" "bear" "~") ("cat" "is" "young" "~")) -> ("cat" "eats" "mouse" "+"))
If something is red then it chases the bear.
((("something" "is" "red" "+")) -> ("something" "chases" "bear" "+"))
The squirrel chases the bear.
True
1
proof
[(triple12)]
("squirrel" "chases" "bear" "+")
triple12
The mouse is young.
False
1
inv-proof
[(triple11)]
("mouse" "is" "young" "+")
triple11
The squirrel eats the bear.
True
3
proof
[(((triple2 triple4) -> rule4) OR ((triple6 triple8) -> rule4))]
("squirrel" "eats" "bear" "+")
((triple2 triple4) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((triple6 triple8) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
3
inv-proof
[(((triple2 triple4) -> rule4) OR ((triple6 triple8) -> rule4))]
("squirrel" "eats" "bear" "-")
((triple2 triple4) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((triple6 triple8) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not need the mouse.
Unknown
inv-rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "mouse" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bear is kind.[(triple1)] The bear is young.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the squirrel.[(triple4)] The cat eats the mouse.[(triple5)] The cat is young.[(triple6)] The cat needs the mouse.[(triple7)] The cat needs the squirrel.[(triple8)] The mouse does not chase the cat.[(triple9)] The mouse is not kind.[(triple10)] The mouse is not young.[(triple11)] The squirrel chases the bear.[(triple12)] @1: The squirrel eats the bear.[(((triple2 triple4) -> rule4) OR ((triple6 triple8) -> rule4))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple7
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple8
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple9
The mouse is not kind.
("mouse" "is" "kind" "-")
triple10
The mouse is not young.
("mouse" "is" "young" "-")
triple11
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple12
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple2 triple4) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((triple6 triple8) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1