The dog visits the mouse. The mouse is rough. The squirrel is green. If something is green and not rough then it chases the squirrel.
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something is green and not rough then it chases the squirrel.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "chases" "squirrel" "+"))
The mouse is rough.
True
1
proof
[(triple2)]
("mouse" "is" "rough" "+")
triple2
The squirrel is not green.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "green" "-")
triple3
The mouse does not chase the squirrel.
Unknown
inv-rconc
[@1: The mouse chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The dog visits the mouse.[(triple1)] The mouse is rough.[(triple2)] The squirrel is green.[(triple3)]
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple1
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3