The bear eats the cow. The bear is green. The bear is kind. The bear is round. The bear needs the squirrel. The cow chases the squirrel. The cow eats the squirrel. The cow is young. The cow needs the bear. The cow needs the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel eats the cow. The squirrel is round. The squirrel needs the bear. The squirrel needs the cow. If the squirrel needs the bear then the bear chases the squirrel. If someone chases the squirrel and they eat the cow then they eat the squirrel.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the squirrel needs the bear then the bear chases the squirrel.
((("squirrel" "needs" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone chases the squirrel and they eat the cow then they eat the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "eats" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel chases the bear.
True
1
proof
[(triple11)]
("squirrel" "chases" "bear" "+")
triple11
The squirrel does not eat the bear.
False
1
inv-proof
[(triple12)]
("squirrel" "eats" "bear" "-")
triple12
The bear chases the squirrel.
True
2
proof
[(((triple15) -> rule1))]
("bear" "chases" "squirrel" "+")
((triple15) -> (rule1 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear does not chase the squirrel.
False
2
inv-proof
[(((triple15) -> rule1))]
("bear" "chases" "squirrel" "-")
((triple15) -> (rule1 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear eats the squirrel.
True
4
proof
[(((((triple15) -> rule1) triple1) -> rule2))]
("bear" "eats" "squirrel" "+")
((((triple15) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear does not eat the squirrel.
False
4
inv-proof
[(((((triple15) -> rule1) triple1) -> rule2))]
("bear" "eats" "squirrel" "-")
((((triple15) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the squirrel.[(triple5)] The cow chases the squirrel.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is young.[(triple8)] The cow needs the bear.[(triple9)] The cow needs the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The bear chases the squirrel.[(((triple15) -> rule1))] @2: The bear eats the squirrel.[(((((triple15) -> rule1) triple1) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple6
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow needs the bear.
("cow" "needs" "bear" "+")
triple9
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple16
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple15) -> (rule1 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((((triple15) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2