The bear chases the squirrel. The bear is big. The bear is blue. The bear is green. The bear sees the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel sees the bear. The squirrel visits the bear. If the squirrel sees the bear then the bear chases the squirrel. If something chases the bear then the bear visits the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the squirrel sees the bear then the bear chases the squirrel.
((("squirrel" "sees" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If something chases the bear then the bear visits the squirrel.
((("something" "chases" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
The squirrel sees the bear.
True
1
proof
[(triple11)]
("squirrel" "sees" "bear" "+")
triple11
The bear is not green.
False
1
inv-proof
[(triple4)]
("bear" "is" "green" "-")
triple4
The bear visits the squirrel.
True
2
proof
[(((triple6) -> rule2))]
("bear" "visits" "squirrel" "+")
((triple6) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "visits" "squirrel" "-")
((triple6) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the squirrel.[(triple1 OR ((triple11) -> rule1))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear visits the squirrel.[(((triple6) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
((triple11) -> (rule1 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((triple6) -> (rule2 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1