The lion chases the mouse. The lion chases the rabbit. The lion is nice. The mouse is nice. The mouse is young. The mouse visits the lion. The rabbit chases the mouse. The rabbit is red. The rabbit visits the squirrel. The squirrel is rough. The squirrel likes the lion. The squirrel likes the mouse. The squirrel likes the rabbit. The squirrel visits the lion. The squirrel visits the mouse. The squirrel visits the rabbit. If someone is nice then they visit the mouse. If the rabbit visits the lion then the rabbit chases the mouse. If someone is big and they visit the squirrel then they are red. If someone is red and they visit the lion then they like the rabbit. If the rabbit likes the lion and the rabbit is nice then the lion is red. If someone likes the lion and the lion likes the rabbit then the rabbit likes the mouse. If someone likes the lion then they like the squirrel. If someone visits the rabbit then the rabbit chases the mouse.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is nice.
("lion" "is" "nice" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is nice then they visit the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "mouse" "+"))
If the rabbit visits the lion then the rabbit chases the mouse.
((("rabbit" "visits" "lion" "+")) -> ("rabbit" "chases" "mouse" "+"))
If someone is big and they visit the squirrel then they are red.
((("someone" "is" "big" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone is red and they visit the lion then they like the rabbit.
((("someone" "is" "red" "+") ("someone" "visits" "lion" "+")) -> ("someone" "likes" "rabbit" "+"))
If the rabbit likes the lion and the rabbit is nice then the lion is red.
((("rabbit" "likes" "lion" "+") ("rabbit" "is" "nice" "+")) -> ("lion" "is" "red" "+"))
If someone likes the lion and the lion likes the rabbit then the rabbit likes the mouse.
((("someone" "likes" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("rabbit" "likes" "mouse" "+"))
If someone likes the lion then they like the squirrel.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone visits the rabbit then the rabbit chases the mouse.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
The mouse visits the lion.
True
1
proof
[(triple6)]
("mouse" "visits" "lion" "+")
triple6
The mouse is not young.
False
1
inv-proof
[(triple5)]
("mouse" "is" "young" "-")
triple5
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "red" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The lion chases the mouse.[(triple1)] The lion chases the rabbit.[(triple2)] The lion is nice.[(triple3)] The mouse is nice.[(triple4)] The mouse is young.[(triple5)] The mouse visits the lion.[(triple6)] The rabbit chases the mouse.[(triple7 OR ((triple16) -> rule8))] The rabbit is red.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel visits the lion.[(triple14)] The squirrel visits the mouse.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The lion visits the mouse.[(((triple3) -> rule1))] The mouse visits the mouse.[(((triple4) -> rule1))] The squirrel likes the squirrel.[(((triple11) -> rule7))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple6
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple7
((triple16) -> (rule8 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple13
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The lion visits the mouse.
("lion" "visits" "mouse" "+")
((triple3) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple4) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple11) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1