The bear visits the squirrel. The squirrel visits the bear. If someone needs the squirrel then the squirrel is kind. If someone visits the bear then the bear sees the squirrel. If the bear is rough and the bear visits the squirrel then the squirrel visits the bear.
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone needs the squirrel then the squirrel is kind.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone visits the bear then the bear sees the squirrel.
((("someone" "visits" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If the bear is rough and the bear visits the squirrel then the squirrel visits the bear.
((("bear" "is" "rough" "+") ("bear" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
The squirrel visits the bear.
True
1
proof
[(triple2)]
("squirrel" "visits" "bear" "+")
triple2
The bear does not visit the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "visits" "squirrel" "-")
triple1
The bear sees the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("bear" "sees" "squirrel" "+")
((triple2) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear does not see the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "sees" "squirrel" "-")
((triple2) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear visits the squirrel.[(triple1)] The squirrel visits the bear.[(triple2)] @1: The bear sees the squirrel.[(((triple2) -> rule2))]
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple2) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1