The bear chases the squirrel. The bear is green. The bear needs the squirrel. The squirrel chases the bear. The squirrel is red. The squirrel needs the bear. The squirrel sees the bear. If something sees the squirrel then it is red. If something chases the bear then it is rough. If something is red then it chases the squirrel. If something needs the squirrel then the squirrel needs the bear. If something sees the bear and it is green then the bear is green. If something sees the bear and it sees the squirrel then the squirrel sees the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something sees the squirrel then it is red.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something chases the bear then it is rough.
((("something" "chases" "bear" "+")) -> ("something" "is" "rough" "+"))
If something is red then it chases the squirrel.
((("something" "is" "red" "+")) -> ("something" "chases" "squirrel" "+"))
If something needs the squirrel then the squirrel needs the bear.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If something sees the bear and it is green then the bear is green.
((("something" "sees" "bear" "+") ("something" "is" "green" "+")) -> ("bear" "is" "green" "+"))
If something sees the bear and it sees the squirrel then the squirrel sees the bear.
((("something" "sees" "bear" "+") ("something" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
The squirrel chases the bear.
True
1
proof
[(triple4)]
("squirrel" "chases" "bear" "+")
triple4
The squirrel is not red.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "red" "-")
triple5
The squirrel chases the squirrel.
True
2
proof
[(((triple5) -> rule3))]
("squirrel" "chases" "squirrel" "+")
((triple5) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple5) -> rule3))]
("squirrel" "chases" "squirrel" "-")
((triple5) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is green.[(triple2)] The bear needs the squirrel.[(triple3)] The squirrel chases the bear.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the bear.[(triple6 OR ((triple3) -> rule4))] The squirrel sees the bear.[(triple7)] @1: The squirrel chases the squirrel.[(((triple5) -> rule3))] The squirrel is rough.[(((triple4) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple6
((triple3) -> (rule4 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple5) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1