The cat likes the cow. The cow is rough. The mouse eats the squirrel. The squirrel is rough. If the squirrel eats the cow and the squirrel likes the cow then the squirrel is green.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow is rough.
("cow" "is" "rough" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the squirrel eats the cow and the squirrel likes the cow then the squirrel is green.
((("squirrel" "eats" "cow" "+") ("squirrel" "likes" "cow" "+")) -> ("squirrel" "is" "green" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple3)]
("mouse" "eats" "squirrel" "+")
triple3
The mouse does not eat the squirrel.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "squirrel" "-")
triple3
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The cat likes the cow.[(triple1)] The cow is rough.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel is rough.[(triple4)]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4