The bear eats the squirrel. The cow needs the squirrel. The dog needs the squirrel. The squirrel does not need the dog. If someone chases the cow then the cow needs the bear. If someone eats the squirrel then they chase the squirrel. If someone is kind and they do not chase the dog then they chase the squirrel. If someone is kind then they need the bear. If someone chases the squirrel then they eat the cow. If someone chases the squirrel then the squirrel is kind. If someone chases the bear and the bear does not eat the squirrel then the bear needs the squirrel. If someone eats the cow and the cow is not nice then they chase the cow.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
If someone chases the cow then the cow needs the bear.
((("someone" "chases" "cow" "+")) -> ("cow" "needs" "bear" "+"))
If someone eats the squirrel then they chase the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is kind and they do not chase the dog then they chase the squirrel.
((("someone" "is" "kind" "+") ("someone" "chases" "dog" "~")) -> ("someone" "chases" "squirrel" "+"))
If someone is kind then they need the bear.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "bear" "+"))
If someone chases the squirrel then they eat the cow.
((("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "cow" "+"))
If someone chases the squirrel then the squirrel is kind.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone chases the bear and the bear does not eat the squirrel then the bear needs the squirrel.
((("someone" "chases" "bear" "+") ("bear" "eats" "squirrel" "~")) -> ("bear" "needs" "squirrel" "+"))
If someone eats the cow and the cow is not nice then they chase the cow.
((("someone" "eats" "cow" "+") ("cow" "is" "nice" "~")) -> ("someone" "chases" "cow" "+"))
The cow needs the squirrel.
True
1
proof
[(triple2)]
("cow" "needs" "squirrel" "+")
triple2
The squirrel needs the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "needs" "dog" "+")
triple4
The bear chases the squirrel.
True
2
proof
[(((triple1) -> rule2))]
("bear" "chases" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear does not chase the squirrel.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "chases" "squirrel" "-")
((triple1) -> (rule2 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("squirrel" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear does not eat the cow.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("bear" "eats" "cow" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The squirrel needs the bear.
True
4
proof
[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]
("squirrel" "needs" "bear" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The squirrel does not need the bear.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]
("squirrel" "needs" "bear" "-")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear does not need the squirrel.
Unknown
inv-rconc
[@1: The bear needs the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "squirrel" "-")
The dog chases the cow.
Unknown
rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "cow" "+")
The squirrel does not chase the cow.
Unknown
inv-rconc
[@1: The squirrel chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "chases" "cow" "-")
The dog eats the cow.
Unknown
rconc
[@2: The dog eats the cow.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("dog" "eats" "cow" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The bear eats the dog.
Unknown
random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "+")
The cow does not need the dog.
Unknown
inv-random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The dog needs the squirrel.[(triple3)] The squirrel does not need the dog.[(triple4)] @1: The bear chases the squirrel.[(((triple1) -> rule2))] @2: The bear eats the cow.[(((((triple1) -> rule2)) -> rule5))] The squirrel is kind.[(((((triple1) -> rule2)) -> rule6))] @3: The squirrel needs the bear.[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3