The bear eats the rabbit. The mouse visits the bear. The rabbit visits the bear. If someone eats the rabbit and they like the mouse then the mouse is young. If someone is big and they eat the mouse then the mouse is green. If someone likes the mouse and the mouse does not visit the bear then the mouse is not green. If someone visits the bear then they eat the rabbit. If someone likes the rabbit then they eat the mouse. If someone is cold and rough then they eat the mouse. If someone visits the mouse and they are green then they eat the bear. If someone visits the rabbit and the rabbit visits the bear then the bear visits the mouse.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone eats the rabbit and they like the mouse then the mouse is young.
((("someone" "eats" "rabbit" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If someone is big and they eat the mouse then the mouse is green.
((("someone" "is" "big" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone likes the mouse and the mouse does not visit the bear then the mouse is not green.
((("someone" "likes" "mouse" "+") ("mouse" "visits" "bear" "~")) -> ("mouse" "is" "green" "-"))
If someone visits the bear then they eat the rabbit.
((("someone" "visits" "bear" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the rabbit then they eat the mouse.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is cold and rough then they eat the mouse.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "mouse" "+"))
If someone visits the mouse and they are green then they eat the bear.
((("someone" "visits" "mouse" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "bear" "+"))
If someone visits the rabbit and the rabbit visits the bear then the bear visits the mouse.
((("someone" "visits" "rabbit" "+") ("rabbit" "visits" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
The bear eats the rabbit.
True
1
proof
[(triple1)]
("bear" "eats" "rabbit" "+")
triple1
The bear does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "eats" "rabbit" "-")
triple1
The rabbit does not eat the bear.
Unknown
inv-rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "eats" "bear" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bear eats the rabbit.[(triple1)] The mouse visits the bear.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The mouse eats the rabbit.[(((triple2) -> rule4))] The rabbit eats the rabbit.[(((triple3) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((triple2) -> (rule4 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple3) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1