The lion chases the rabbit. The mouse is blue. The rabbit needs the lion. The rabbit needs the mouse. The squirrel chases the mouse. The squirrel is not nice. The squirrel visits the mouse. If someone visits the lion and they are blue then they are nice. If the mouse does not need the rabbit then the rabbit visits the lion. If someone is big and they visit the lion then they need the lion. If someone chases the rabbit then the rabbit visits the squirrel. If someone is red and they do not visit the rabbit then the rabbit needs the lion. If someone visits the mouse then they chase the squirrel. If someone visits the squirrel and the squirrel is blue then they need the mouse. Red people are not kind.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the lion and they are blue then they are nice.
((("someone" "visits" "lion" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If the mouse does not need the rabbit then the rabbit visits the lion.
((("mouse" "needs" "rabbit" "~")) -> ("rabbit" "visits" "lion" "+"))
If someone is big and they visit the lion then they need the lion.
((("someone" "is" "big" "+") ("someone" "visits" "lion" "+")) -> ("someone" "needs" "lion" "+"))
If someone chases the rabbit then the rabbit visits the squirrel.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If someone is red and they do not visit the rabbit then the rabbit needs the lion.
((("someone" "is" "red" "+") ("someone" "visits" "rabbit" "~")) -> ("rabbit" "needs" "lion" "+"))
If someone visits the mouse then they chase the squirrel.
((("someone" "visits" "mouse" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the squirrel and the squirrel is blue then they need the mouse.
((("someone" "visits" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("someone" "needs" "mouse" "+"))
Red people are not kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "-"))
The rabbit needs the lion.
True
1
proof
[(triple3)]
("rabbit" "needs" "lion" "+")
triple3
The rabbit does not need the mouse.
False
1
inv-proof
[(triple4)]
("rabbit" "needs" "mouse" "-")
triple4
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "lion" "-")
The rabbit chases the mouse.
Unknown
random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "+")
@0: The lion chases the rabbit.[(triple1)] The mouse is blue.[(triple2)] The rabbit needs the lion.[(triple3)] The rabbit needs the mouse.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel is not nice.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The rabbit visits the squirrel.[(((triple1) -> rule4))] The squirrel chases the squirrel.[(((triple7) -> rule6))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple3
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple5
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple6
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
((triple1) -> (rule4 % int1))
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple7) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1