The lion is kind. The mouse is blue. The mouse visits the lion. The rabbit chases the lion. The rabbit does not visit the lion. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel likes the mouse. The squirrel visits the lion. If someone is blue then they are kind. If someone chases the mouse and they are not kind then the mouse does not chase the lion.
The lion is kind.
("lion" "is" "kind" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the mouse and they are not kind then the mouse does not chase the lion.
((("someone" "chases" "mouse" "+") ("someone" "is" "kind" "~")) -> ("mouse" "chases" "lion" "-"))
The rabbit visits the squirrel.
True
1
proof
[(triple7)]
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel does not visit the lion.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "lion" "-")
triple10
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The lion is kind.[(triple1)] The mouse is blue.[(triple2)] The mouse visits the lion.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit does not visit the lion.[(triple5)] The rabbit visits the mouse.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The mouse is kind.[(((triple2) -> rule1))]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple4
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple5
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple8
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple9
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1