The bear chases the squirrel. The squirrel is green. The squirrel needs the bear. If someone chases the squirrel then the squirrel sees the bear. If someone chases the squirrel then the squirrel sees the bear. If someone chases the bear then the bear does not chase the squirrel. If the squirrel does not need the bear then the bear chases the squirrel. If someone needs the bear then they do not chase the squirrel. If someone sees the bear then the bear is green.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the squirrel then the squirrel sees the bear.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
If someone chases the squirrel then the squirrel sees the bear.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
If someone chases the bear then the bear does not chase the squirrel.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "squirrel" "-"))
If the squirrel does not need the bear then the bear chases the squirrel.
((("squirrel" "needs" "bear" "~")) -> ("bear" "chases" "squirrel" "+"))
If someone needs the bear then they do not chase the squirrel.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone sees the bear then the bear is green.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
The squirrel is green.
True
1
proof
[(triple2)]
("squirrel" "is" "green" "+")
triple2
The squirrel is not green.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "green" "-")
triple2
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 bear sees the squirrel.
Unknown
random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The squirrel is green.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The squirrel does not chase the squirrel.[(((triple3) -> rule5))] The squirrel sees the bear.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: The bear is green.[(((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule2)) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple3
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
((triple3) -> (rule5 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
((triple1) -> (rule2 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int2
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int2