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