The bear visits the cow. The cow chases the squirrel. The squirrel is nice. If something chases the squirrel and the squirrel chases the bear then the bear is red.
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something chases the squirrel and the squirrel chases the bear then the bear is red.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("bear" "is" "red" "+"))
The cow chases the squirrel.
True
1
proof
[(triple2)]
("cow" "chases" "squirrel" "+")
triple2
The bear does not visit the cow.
False
1
inv-proof
[(triple1)]
("bear" "visits" "cow" "-")
triple1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear visits the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel is nice.[(triple3)]
The bear visits the cow.
("bear" "visits" "cow" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3