The mouse chases the rabbit. The mouse is round. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit eats the squirrel. The rabbit visits the mouse. The squirrel chases the mouse. The squirrel chases the rabbit. The squirrel eats the mouse. The squirrel is big. If something visits the rabbit and the rabbit eats the squirrel then the squirrel eats the rabbit. If something visits the mouse and it eats the rabbit then the mouse is green.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If something visits the rabbit and the rabbit eats the squirrel then the squirrel eats the rabbit.
((("something" "visits" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If something visits the mouse and it eats the rabbit then the mouse is green.
((("something" "visits" "mouse" "+") ("something" "eats" "rabbit" "+")) -> ("mouse" "is" "green" "+"))
The mouse chases the rabbit.
True
1
proof
[(triple1)]
("mouse" "chases" "rabbit" "+")
triple1
The mouse does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("mouse" "chases" "rabbit" "-")
triple1
The squirrel eats the rabbit.
True
3
proof
[(((triple3 triple5) -> rule1))]
("squirrel" "eats" "rabbit" "+")
((triple3 triple5) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel does not eat the rabbit.
False
3
inv-proof
[(((triple3 triple5) -> rule1))]
("squirrel" "eats" "rabbit" "-")
((triple3 triple5) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse is round.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit visits the mouse.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] @1: The squirrel eats the rabbit.[(((triple3 triple5) -> rule1))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse is round.
("mouse" "is" "round" "+")
triple2
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple3
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple8
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
((triple3 triple5) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1