The bear chases the squirrel. The bear eats the dog. The bear eats the squirrel. The bear is not round. The bear is young. The cat chases the bear. The cat eats the dog. The cat is red. The cat does not see the squirrel. The dog chases the squirrel. The dog eats the cat. The dog is nice. The dog is round. The dog is not young. The dog sees the cat. The squirrel eats the dog. If the cat does not see the squirrel then the cat eats the bear. If the cat eats the squirrel then the cat is round. If someone eats the dog and they are not young then the dog sees the cat.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear is young.
("bear" "is" "young" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If the cat does not see the squirrel then the cat eats the bear.
((("cat" "sees" "squirrel" "~")) -> ("cat" "eats" "bear" "+"))
If the cat eats the squirrel then the cat is round.
((("cat" "eats" "squirrel" "+")) -> ("cat" "is" "round" "+"))
If someone eats the dog and they are not young then the dog sees the cat.
((("someone" "eats" "dog" "+") ("someone" "is" "young" "~")) -> ("dog" "sees" "cat" "+"))
The dog chases the squirrel.
True
1
proof
[(triple10)]
("dog" "chases" "squirrel" "+")
triple10
The dog is not round.
False
1
inv-proof
[(triple13)]
("dog" "is" "round" "-")
triple13
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "-")
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 chases the squirrel.[(triple1)] The bear eats the dog.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is not round.[(triple4)] The bear is young.[(triple5)] The cat chases the bear.[(triple6)] The cat does not see the squirrel.[(triple9)] The cat eats the dog.[(triple7)] The cat is red.[(triple8)] The dog chases the squirrel.[(triple10)] The dog eats the cat.[(triple11)] The dog is nice.[(triple12)] The dog is not young.[(triple14)] The dog is round.[(triple13)] The dog sees the cat.[(triple15)] The squirrel eats the dog.[(triple16)] @1: The cat eats the bear.[(((triple9) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear is not round.
("bear" "is" "round" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple9
The cat eats the dog.
("cat" "eats" "dog" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple10
The dog eats the cat.
("dog" "eats" "cat" "+")
triple11
The dog is nice.
("dog" "is" "nice" "+")
triple12
The dog is not young.
("dog" "is" "young" "-")
triple14
The dog is round.
("dog" "is" "round" "+")
triple13
The dog sees the cat.
("dog" "sees" "cat" "+")
triple15
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple16
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple9) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1