The dog chases the mouse. The dog is green. The dog is rough. The mouse chases the squirrel. The mouse likes the squirrel. The squirrel chases the dog. The squirrel chases the mouse. If someone chases the squirrel and they are round then they are blue. If someone chases the squirrel and the squirrel chases the mouse then the mouse eats the squirrel. If someone likes the mouse then the mouse is round.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
If someone chases the squirrel and they are round then they are blue.
((("someone" "chases" "squirrel" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the squirrel and the squirrel chases the mouse then the mouse eats the squirrel.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("mouse" "eats" "squirrel" "+"))
If someone likes the mouse then the mouse is round.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "round" "+"))
The squirrel chases the dog.
True
1
proof
[(triple6)]
("squirrel" "chases" "dog" "+")
triple6
The dog does not chase the mouse.
False
1
inv-proof
[(triple1)]
("dog" "chases" "mouse" "-")
triple1
The mouse eats the squirrel.
True
3
proof
[(((triple4 triple7) -> rule2))]
("mouse" "eats" "squirrel" "+")
((triple4 triple7) -> (rule2 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse does not eat the squirrel.
False
3
inv-proof
[(((triple4 triple7) -> rule2))]
("mouse" "eats" "squirrel" "-")
((triple4 triple7) -> (rule2 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse is not blue.
Unknown
inv-rconc
[@2: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("mouse" "is" "blue" "-")
The mouse is round.
Unknown
rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "round" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
@0: The dog chases the mouse.[(triple1)] The dog is green.[(triple2)] The dog is rough.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse likes the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel chases the mouse.[(triple7)] @1: The mouse eats the squirrel.[(((triple4 triple7) -> rule2))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
((triple4 triple7) -> (rule2 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1