The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is rough. The bear sees the squirrel. The squirrel eats the bear. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel sees the bear. If someone sees the squirrel and the squirrel sees the bear then they chase the bear. If someone chases the bear and they eat the squirrel then they are round.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
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" "+")
If someone sees the squirrel and the squirrel sees the bear then they chase the bear.
((("someone" "sees" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the bear and they eat the squirrel then they are round.
((("someone" "chases" "bear" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "round" "+"))
The squirrel is blue.
True
1
proof
[(triple7)]
("squirrel" "is" "blue" "+")
triple7
The bear does not see the squirrel.
False
1
inv-proof
[(triple5)]
("bear" "sees" "squirrel" "-")
triple5
The bear chases the bear.
True
3
proof
[(((triple5 triple10) -> rule1))]
("bear" "chases" "bear" "+")
((triple5 triple10) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
3
inv-proof
[(((triple5 triple10) -> rule1))]
("bear" "chases" "bear" "-")
((triple5 triple10) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
True
5
proof
[(((((triple5 triple10) -> rule1) triple2) -> rule2))]
("bear" "is" "round" "+")
((((triple5 triple10) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is not round.
False
5
inv-proof
[(((((triple5 triple10) -> rule1) triple2) -> rule2))]
("bear" "is" "round" "-")
((((triple5 triple10) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The squirrel does not chase the bear.
Unknown
inv-rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bear" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is green.[(triple8)] The squirrel is round.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear chases the bear.[(((triple5 triple10) -> rule1))] @2: The bear is round.[(((((triple5 triple10) -> rule1) triple2) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple5 triple10) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple5 triple10) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2