The bear chases the mouse. The bear eats the mouse. The bear is not cold. The bear visits the mouse. The cow chases the mouse. The cow is green. The cow does not visit the bear. The mouse chases the bear. The mouse does not chase the cow. The mouse visits the bear. If something visits the cow and it is not cold then the cow eats the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is green.
("cow" "is" "green" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something visits the cow and it is not cold then the cow eats the mouse.
((("something" "visits" "cow" "+") ("something" "is" "cold" "~")) -> ("cow" "eats" "mouse" "+"))
The mouse visits the bear.
True
1
proof
[(triple10)]
("mouse" "visits" "bear" "+")
triple10
The mouse does not visit the bear.
False
1
inv-proof
[(triple10)]
("mouse" "visits" "bear" "-")
triple10
The cow does not eat the mouse.
Unknown
inv-rconc
[@1: The cow eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "mouse" "-")
The mouse eats the cow.
Unknown
random
[@0: The mouse eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cow" "+")
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is not cold.[(triple3)] The bear visits the mouse.[(triple4)] The cow chases the mouse.[(triple5)] The cow does not visit the bear.[(triple7)] The cow is green.[(triple6)] The mouse chases the bear.[(triple8)] The mouse does not chase the cow.[(triple9)] The mouse visits the bear.[(triple10)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple5
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple7
The cow is green.
("cow" "is" "green" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple8
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10