The bear does not chase the squirrel. The bear eats the squirrel. The bear is not blue. The bear is nice. The bear is young. The bear sees the squirrel. The cow chases the squirrel. The cow eats the squirrel. The cow does not see the bear. The cow sees the squirrel. The squirrel chases the cow. The squirrel is blue. The squirrel is not cold. The squirrel is red. The squirrel is young. The squirrel sees the cow. If something is nice then it does not eat the bear. If something chases the bear then the bear eats the squirrel.
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something is nice then it does not eat the bear.
((("something" "is" "nice" "+")) -> ("something" "eats" "bear" "-"))
If something chases the bear then the bear eats the squirrel.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
The squirrel sees the cow.
True
1
proof
[(triple16)]
("squirrel" "sees" "cow" "+")
triple16
The cow does not eat the squirrel.
False
1
inv-proof
[(triple8)]
("cow" "eats" "squirrel" "-")
triple8
The bear does not eat the bear.
True
2
proof
[(((triple4) -> rule1))]
("bear" "eats" "bear" "-")
((triple4) -> (rule1 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear eats the bear.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "eats" "bear" "+")
((triple4) -> (rule1 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
The cow does not eat the bear.
Unknown
inv-random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bear does not chase the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is nice.[(triple4)] The bear is not blue.[(triple3)] The bear is young.[(triple5)] The bear sees the squirrel.[(triple6)] The cow chases the squirrel.[(triple7)] The cow does not see the bear.[(triple9)] The cow eats the squirrel.[(triple8)] The cow sees the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is not cold.[(triple13)] The squirrel is red.[(triple14)] The squirrel is young.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The bear does not eat the bear.[(((triple4) -> rule1))]
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not blue.
("bear" "is" "blue" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple7
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple9
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple8
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple16
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((triple4) -> (rule1 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1