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