The bear is young. The squirrel is round. If someone is young then they need the squirrel. If someone visits the squirrel then the squirrel visits the bear. If someone is red and they chase the squirrel then the squirrel is green.
The bear is young.
("bear" "is" "young" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is young then they need the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the squirrel then the squirrel visits the bear.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone is red and they chase the squirrel then the squirrel is green.
((("someone" "is" "red" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The bear is young.
True
1
proof
[(triple1)]
("bear" "is" "young" "+")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "round" "-")
triple2
The bear needs the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bear" "needs" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear does not need the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "needs" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "green" "+")
The bear does not chase the squirrel.
Unknown
inv-random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "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 bear is young.[(triple1)] The squirrel is round.[(triple2)] @1: The bear needs the squirrel.[(((triple1) -> rule1))]
The bear is young.
("bear" "is" "young" "+")
triple1
The squirrel is round.
("squirrel" "is" "round" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1