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