The mouse chases the squirrel. The mouse is round. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit visits the mouse. The squirrel chases the mouse. The squirrel eats the rabbit. The squirrel visits the rabbit. If something eats the rabbit and the rabbit chases the mouse then it visits the rabbit. If something eats the squirrel then the squirrel chases the mouse.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
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 chases the squirrel.
("rabbit" "chases" "squirrel" "+")
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 eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something eats the rabbit and the rabbit chases the mouse then it visits the rabbit.
((("something" "eats" "rabbit" "+") ("rabbit" "chases" "mouse" "+")) -> ("something" "visits" "rabbit" "+"))
If something eats the squirrel then the squirrel chases the mouse.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
The rabbit visits the mouse.
True
1
proof
[(triple7)]
("rabbit" "visits" "mouse" "+")
triple7
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "mouse" "-")
triple7
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse is round.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit visits the mouse.[(triple7)] The squirrel chases the mouse.[(triple8 OR ((triple6) -> rule2))] The squirrel eats the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10 OR ((triple9 triple4) -> rule1))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
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 chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple8
((triple6) -> (rule2 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
((triple9 triple4) -> (rule1 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1