The bear chases the squirrel. The bear is big. The bear is blue. The bear is rough. The bear is round. The bear is young. The bear likes the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel is blue. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the bear. The squirrel sees the bear. If someone is big then they see the bear.
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 rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
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 rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The squirrel does not see the bear.
False
1
inv-proof
[(triple16 OR ((triple10) -> rule1))]
("squirrel" "sees" "bear" "-")
triple16
((triple10) -> (rule1 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The bear sees the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "sees" "bear" "+")
((triple2) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "sees" "bear" "-")
((triple2) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
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 likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the squirrel.[(triple7)] The bear sees the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel sees the bear.[(triple16 OR ((triple10) -> rule1))] @1: The bear sees the bear.[(((triple2) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple16
((triple10) -> (rule1 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple2) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1