The dog chases the squirrel. The dog eats the mouse. The dog is blue. The dog is rough. The dog needs the squirrel. The mouse eats the squirrel. The mouse is rough. The squirrel chases the dog. The squirrel chases the mouse. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel needs the dog. The squirrel needs the mouse. If the squirrel needs the dog then the dog is green. If the dog needs the mouse and the mouse eats the dog then the dog eats the squirrel. If someone is green and they eat the mouse then the mouse chases the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If the squirrel needs the dog then the dog is green.
((("squirrel" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
If the dog needs the mouse and the mouse eats the dog then the dog eats the squirrel.
((("dog" "needs" "mouse" "+") ("mouse" "eats" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If someone is green and they eat the mouse then the mouse chases the dog.
((("someone" "is" "green" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
The squirrel needs the mouse.
True
1
proof
[(triple15)]
("squirrel" "needs" "mouse" "+")
triple15
The squirrel does not need the mouse.
False
1
inv-proof
[(triple15)]
("squirrel" "needs" "mouse" "-")
triple15
The dog is green.
True
2
proof
[(((triple14) -> rule1))]
("dog" "is" "green" "+")
((triple14) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple14) -> rule1))]
("dog" "is" "green" "-")
((triple14) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The mouse does not need the dog.
Unknown
inv-random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The dog chases the squirrel.[(triple1)] The dog eats the mouse.[(triple2)] The dog is blue.[(triple3)] The dog is rough.[(triple4)] The dog needs the squirrel.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is rough.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The dog is green.[(((triple14) -> rule1))] @2: The mouse chases the dog.[(((((triple14) -> rule1) triple2) -> rule3))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The dog is green.
("dog" "is" "green" "+")
((triple14) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((((triple14) -> (rule1 % int2)) triple2) -> (rule3 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2