The bear is cold. The cow chases the squirrel. The cow is blue. The dog chases the bear. The dog eats the squirrel. The dog is blue. The squirrel is nice. If someone eats the dog then they chase the bear. If someone is nice then they eat the dog. If someone eats the cow and they are nice then they are blue.
The bear is cold.
("bear" "is" "cold" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone eats the dog then they chase the bear.
((("someone" "eats" "dog" "+")) -> ("someone" "chases" "bear" "+"))
If someone is nice then they eat the dog.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the cow and they are nice then they are blue.
((("someone" "eats" "cow" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
The cow chases the squirrel.
True
1
proof
[(triple2)]
("cow" "chases" "squirrel" "+")
triple2
The squirrel is not nice.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "nice" "-")
triple7
The squirrel eats the dog.
True
2
proof
[(((triple7) -> rule2))]
("squirrel" "eats" "dog" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel does not eat the dog.
False
2
inv-proof
[(((triple7) -> rule2))]
("squirrel" "eats" "dog" "-")
((triple7) -> (rule2 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel chases the bear.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("squirrel" "chases" "bear" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel does not chase the bear.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("squirrel" "chases" "bear" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "blue" "-")
The cow chases the bear.
Unknown
rconc
[@2: The cow chases the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "chases" "bear" "+")
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "dog" "-")
The squirrel needs the dog.
Unknown
random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "+")
The dog does not need the bear.
Unknown
inv-random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "-")
The cow needs the dog.
Unknown
random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "+")
@0: The bear is cold.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is blue.[(triple3)] The dog chases the bear.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is blue.[(triple6)] The squirrel is nice.[(triple7)] @1: The squirrel eats the dog.[(((triple7) -> rule2))] @2: The squirrel chases the bear.[(((((triple7) -> rule2)) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2