The bear chases the cow. The bear does not eat the cow. The cow is cold. The dog chases the bear. The dog chases the cow. The dog does not eat the cow. The dog eats the squirrel. The dog is cold. The dog is not kind. The dog is rough. The squirrel does not chase the bear. The squirrel eats the cow. The squirrel is big. The squirrel is rough. The squirrel needs the dog. If the bear eats the dog then the bear chases the squirrel. If something is rough and it needs the squirrel then it does not chase the cow. If something needs the bear and it eats the cow then the cow needs the dog. Kind things are green. If something is green then it chases the dog. If something needs the dog and it eats the cow then it is kind.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The cow is cold.
("cow" "is" "cold" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If the bear eats the dog then the bear chases the squirrel.
((("bear" "eats" "dog" "+")) -> ("bear" "chases" "squirrel" "+"))
If something is rough and it needs the squirrel then it does not chase the cow.
((("something" "is" "rough" "+") ("something" "needs" "squirrel" "+")) -> ("something" "chases" "cow" "-"))
If something needs the bear and it eats the cow then the cow needs the dog.
((("something" "needs" "bear" "+") ("something" "eats" "cow" "+")) -> ("cow" "needs" "dog" "+"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is green then it chases the dog.
((("something" "is" "green" "+")) -> ("something" "chases" "dog" "+"))
If something needs the dog and it eats the cow then it is kind.
((("something" "needs" "dog" "+") ("something" "eats" "cow" "+")) -> ("something" "is" "kind" "+"))
The squirrel is big.
True
1
proof
[(triple13)]
("squirrel" "is" "big" "+")
triple13
The squirrel is not big.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "big" "-")
triple13
The squirrel is kind.
True
3
proof
[(((triple15 triple12) -> rule6))]
("squirrel" "is" "kind" "+")
((triple15 triple12) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
3
inv-proof
[(((triple15 triple12) -> rule6))]
("squirrel" "is" "kind" "-")
((triple15 triple12) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is green.
True
4
proof
[(((((triple15 triple12) -> rule6)) -> rule4))]
("squirrel" "is" "green" "+")
((((triple15 triple12) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is not green.
False
4
inv-proof
[(((((triple15 triple12) -> rule6)) -> rule4))]
("squirrel" "is" "green" "-")
((((triple15 triple12) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the dog.
True
5
proof
[(((((((triple15 triple12) -> rule6)) -> rule4)) -> rule5))]
("squirrel" "chases" "dog" "+")
((((((triple15 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel does not chase the dog.
False
5
inv-proof
[(((((((triple15 triple12) -> rule6)) -> rule4)) -> rule5))]
("squirrel" "chases" "dog" "-")
((((((triple15 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "kind" "-")
The cow needs the dog.
Unknown
rconc
[@1: The cow needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "dog" "+")
The bear is not green.
Unknown
inv-rconc
[@2: The bear is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("bear" "is" "green" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "green" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The bear chases the cow.[(triple1)] The bear does not eat the cow.[(triple2)] The cow is cold.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the cow.[(triple5)] The dog does not eat the cow.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is cold.[(triple8)] The dog is not kind.[(triple9)] The dog is rough.[(triple10)] The squirrel does not chase the bear.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The squirrel is kind.[(((triple15 triple12) -> rule6))] @2: The squirrel is green.[(((((triple15 triple12) -> rule6)) -> rule4))] @3: The squirrel chases the dog.[(((((((triple15 triple12) -> rule6)) -> rule4)) -> rule5))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is not kind.
("dog" "is" "kind" "-")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple11
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple15 triple12) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple15 triple12) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((((triple15 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3