The bald eagle sees the cow. The bear chases the bald eagle. The bear chases the cow. The bear is round. The bear needs the cow. The cow chases the bald eagle. The squirrel is young. The squirrel needs the bald eagle. The squirrel needs the bear. The squirrel sees the cow. If something is kind then it chases the squirrel. If the cow needs the bear then the bear sees the cow. If something needs the squirrel then the squirrel is kind. If something needs the cow then the cow is kind. If something needs the squirrel and it sees the bear then the bear sees the cow. If something chases the squirrel and the squirrel chases the bald eagle then the bald eagle sees the squirrel.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something is kind then it chases the squirrel.
((("something" "is" "kind" "+")) -> ("something" "chases" "squirrel" "+"))
If the cow needs the bear then the bear sees the cow.
((("cow" "needs" "bear" "+")) -> ("bear" "sees" "cow" "+"))
If something needs the squirrel then the squirrel is kind.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something needs the cow then the cow is kind.
((("something" "needs" "cow" "+")) -> ("cow" "is" "kind" "+"))
If something needs the squirrel and it sees the bear then the bear sees the cow.
((("something" "needs" "squirrel" "+") ("something" "sees" "bear" "+")) -> ("bear" "sees" "cow" "+"))
If something chases the squirrel and the squirrel chases the bald eagle then the bald eagle sees the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
The cow chases the bald eagle.
True
1
proof
[(triple6)]
("cow" "chases" "bald eagle" "+")
triple6
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple8)]
("squirrel" "needs" "bald eagle" "-")
triple8
The cow is kind.
True
2
proof
[(((triple5) -> rule4))]
("cow" "is" "kind" "+")
((triple5) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple5) -> rule4))]
("cow" "is" "kind" "-")
((triple5) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow chases the squirrel.
True
3
proof
[(((((triple5) -> rule4)) -> rule1))]
("cow" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow does not chase the squirrel.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule1))]
("cow" "chases" "squirrel" "-")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The bear does not chase the squirrel.
Unknown
inv-rconc
[@1: The bear chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@2: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bear does not see the cow.
Unknown
inv-rconc
[@1: The bear sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "cow" "-")
The cow needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The bald eagle sees the cow.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear chases the cow.[(triple3)] The bear is round.[(triple4)] The bear needs the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The squirrel is young.[(triple7)] The squirrel needs the bald eagle.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow is kind.[(((triple5) -> rule4))] @2: The cow chases the squirrel.[(((((triple5) -> rule4)) -> rule1))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear chases the cow.
("bear" "chases" "cow" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
((triple5) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2