The cat does not chase the mouse. The cat does not eat the mouse. The cat is young. The cat sees the mouse. The mouse chases the cat. The mouse chases the squirrel. The mouse eats the cat. The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse is green. The mouse sees the cat. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is green. If something chases the squirrel and the squirrel sees the mouse then the mouse does not chase the cat. If something eats the cat and the cat eats the mouse then the mouse sees the squirrel. If the squirrel sees the mouse then the squirrel is young.
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The cat is young.
("cat" "is" "young" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something chases the squirrel and the squirrel sees the mouse then the mouse does not chase the cat.
((("something" "chases" "squirrel" "+") ("squirrel" "sees" "mouse" "+")) -> ("mouse" "chases" "cat" "-"))
If something eats the cat and the cat eats the mouse then the mouse sees the squirrel.
((("something" "eats" "cat" "+") ("cat" "eats" "mouse" "+")) -> ("mouse" "sees" "squirrel" "+"))
If the squirrel sees the mouse then the squirrel is young.
((("squirrel" "sees" "mouse" "+")) -> ("squirrel" "is" "young" "+"))
The mouse chases the squirrel.
True
1
proof
[(triple6)]
("mouse" "chases" "squirrel" "+")
triple6
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple14)]
("squirrel" "eats" "mouse" "-")
triple14
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "young" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The cat does not chase the mouse.[(triple1)] The cat does not eat the mouse.[(triple2)] The cat is young.[(triple3)] The cat sees the mouse.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse eats the cat.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse sees the cat.[(triple12)] The mouse sees the squirrel.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is green.[(triple15)]
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple1
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple5
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple6
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple12
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple13
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple14
The squirrel is green.
("squirrel" "is" "green" "+")
triple15