The bear chases the mouse. The bear is green. The bear is round. The bear likes the lion. The bear visits the lion. The bear visits the mouse. The lion likes the mouse. The lion visits the mouse. The mouse chases the bear. The mouse chases the lion. The mouse is nice. The mouse likes the bear. If someone visits the mouse then the mouse visits the lion. If someone likes the mouse and they chase the lion then the lion likes the bear. If the bear visits the lion and the bear chases the lion then the lion chases the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If someone visits the mouse then the mouse visits the lion.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "lion" "+"))
If someone likes the mouse and they chase the lion then the lion likes the bear.
((("someone" "likes" "mouse" "+") ("someone" "chases" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If the bear visits the lion and the bear chases the lion then the lion chases the mouse.
((("bear" "visits" "lion" "+") ("bear" "chases" "lion" "+")) -> ("lion" "chases" "mouse" "+"))
The bear likes the lion.
True
1
proof
[(triple4)]
("bear" "likes" "lion" "+")
triple4
The bear does not like the lion.
False
1
inv-proof
[(triple4)]
("bear" "likes" "lion" "-")
triple4
The mouse visits the lion.
True
2
proof
[(((triple6) -> rule1) OR ((triple8) -> rule1))]
("mouse" "visits" "lion" "+")
((triple6) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
((triple8) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The mouse does not visit the lion.
False
2
inv-proof
[(((triple6) -> rule1) OR ((triple8) -> rule1))]
("mouse" "visits" "lion" "-")
((triple6) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
((triple8) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The lion does not chase the mouse.
Unknown
inv-rconc
[@1: The lion chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "mouse" "-")
The lion likes the bear.
Unknown
rconc
[@1: The lion likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "bear" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear likes the lion.[(triple4)] The bear visits the lion.[(triple5)] The bear visits the mouse.[(triple6)] The lion likes the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the lion.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the bear.[(triple12)] @1: The mouse visits the lion.[(((triple6) -> rule1) OR ((triple8) -> rule1))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple12
The mouse visits the lion.
("mouse" "visits" "lion" "+")
((triple6) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
((triple8) -> (rule1 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1