The cat chases the mouse. The cat chases the squirrel. The cat is big. The cat sees the mouse. The cat sees the squirrel. The mouse chases the cat. The mouse is young. The mouse needs the squirrel. The mouse sees the cat. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is blue. The squirrel needs the cat. The squirrel needs the mouse. If someone is nice and big then they chase the mouse. If the mouse is big then the mouse chases the squirrel. If someone sees the mouse and the mouse is blue then they chase the cat. If someone is round and young then they need the squirrel. If someone needs the mouse and they see the mouse then the mouse chases the cat. If someone needs the cat then they see the squirrel.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is nice and big then they chase the mouse.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "chases" "mouse" "+"))
If the mouse is big then the mouse chases the squirrel.
((("mouse" "is" "big" "+")) -> ("mouse" "chases" "squirrel" "+"))
If someone sees the mouse and the mouse is blue then they chase the cat.
((("someone" "sees" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("someone" "chases" "cat" "+"))
If someone is round and young then they need the squirrel.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the mouse and they see the mouse then the mouse chases the cat.
((("someone" "needs" "mouse" "+") ("someone" "sees" "mouse" "+")) -> ("mouse" "chases" "cat" "+"))
If someone needs the cat then they see the squirrel.
((("someone" "needs" "cat" "+")) -> ("someone" "sees" "squirrel" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple11)]
("squirrel" "chases" "mouse" "+")
triple11
The mouse does not chase the cat.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "cat" "-")
triple6
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is big.[(triple3)] The cat sees the mouse.[(triple4)] The cat sees the squirrel.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is young.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel sees the squirrel.[(((triple14) -> rule6))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple9
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple14) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1