The bear chases the lion. The bear is blue. The bear visits the mouse. The lion does not like the bear. The mouse chases the lion. The mouse is red. The mouse visits the lion. If someone is red then they do not visit the bear. If the lion visits the bear then the lion chases the bear. If someone chases the mouse and they visit the mouse then the mouse does not chase the bear. If someone likes the mouse then the mouse does not like the lion. If someone likes the bear and the bear is not blue then they are red. If the bear is not blue then the bear likes the lion. If someone chases the mouse then they are round. If someone visits the bear and the bear is blue then the bear visits the mouse.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone is red then they do not visit the bear.
((("someone" "is" "red" "+")) -> ("someone" "visits" "bear" "-"))
If the lion visits the bear then the lion chases the bear.
((("lion" "visits" "bear" "+")) -> ("lion" "chases" "bear" "+"))
If someone chases the mouse and they visit the mouse then the mouse does not chase the bear.
((("someone" "chases" "mouse" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bear" "-"))
If someone likes the mouse then the mouse does not like the lion.
((("someone" "likes" "mouse" "+")) -> ("mouse" "likes" "lion" "-"))
If someone likes the bear and the bear is not blue then they are red.
((("someone" "likes" "bear" "+") ("bear" "is" "blue" "~")) -> ("someone" "is" "red" "+"))
If the bear is not blue then the bear likes the lion.
((("bear" "is" "blue" "~")) -> ("bear" "likes" "lion" "+"))
If someone chases the mouse then they are round.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "round" "+"))
If someone visits the bear and the bear is blue then the bear visits the mouse.
((("someone" "visits" "bear" "+") ("bear" "is" "blue" "+")) -> ("bear" "visits" "mouse" "+"))
The bear chases the lion.
True
1
proof
[(triple1)]
("bear" "chases" "lion" "+")
triple1
The mouse is not red.
False
1
inv-proof
[(triple6)]
("mouse" "is" "red" "-")
triple6
The mouse does not visit the bear.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "visits" "bear" "-")
((triple6) -> (rule1 % int1))
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
int1
The mouse visits the bear.
False
2
inv-proof
[(((triple6) -> rule1))]
("mouse" "visits" "bear" "+")
((triple6) -> (rule1 % int1))
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
int1
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "round" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "red" "+")
The lion does not chase the mouse.
Unknown
inv-random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bear chases the lion.[(triple1)] The bear is blue.[(triple2)] The bear visits the mouse.[(triple3)] The lion does not like the bear.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is red.[(triple6)] The mouse visits the lion.[(triple7)] @1: The mouse does not visit the bear.[(((triple6) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple4
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple7
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
((triple6) -> (rule1 % int1))
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
int1