The bear does not chase the cat. The bear does not eat the cat. The bear likes the cat. The cat chases the dog. The cat eats the dog. The cat is green. The cat likes the squirrel. The dog is green. The dog is not nice. The squirrel chases the dog. The squirrel does not eat the dog. The squirrel is not green. The squirrel is round. The squirrel likes the bear. The squirrel likes the cat. If someone is green then they chase the cat. If someone eats the squirrel and they are not big then they like the dog. If someone chases the dog and the dog chases the cat then the cat does not like the dog.
The bear does not chase the cat.
("bear" "chases" "cat" "-")
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone is green then they chase the cat.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "+"))
If someone eats the squirrel and they are not big then they like the dog.
((("someone" "eats" "squirrel" "+") ("someone" "is" "big" "~")) -> ("someone" "likes" "dog" "+"))
If someone chases the dog and the dog chases the cat then the cat does not like the dog.
((("someone" "chases" "dog" "+") ("dog" "chases" "cat" "+")) -> ("cat" "likes" "dog" "-"))
The squirrel chases the dog.
True
1
proof
[(triple10)]
("squirrel" "chases" "dog" "+")
triple10
The squirrel is not round.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "round" "-")
triple13
The cat chases the cat.
True
2
proof
[(((triple6) -> rule1))]
("cat" "chases" "cat" "+")
((triple6) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The dog does not chase the cat.
False
2
inv-proof
[(((triple8) -> rule1))]
("dog" "chases" "cat" "-")
((triple8) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cat does not like the dog.
True
4
proof
[(((triple10 ((triple8) -> rule1)) -> rule3) OR ((triple4 ((triple8) -> rule1)) -> rule3))]
("cat" "likes" "dog" "-")
((triple10 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
((triple4 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat likes the dog.
False
4
inv-proof
[(((triple10 ((triple8) -> rule1)) -> rule3) OR ((triple4 ((triple8) -> rule1)) -> rule3))]
("cat" "likes" "dog" "+")
((triple10 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
((triple4 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The squirrel does not chase the cat.
Unknown
inv-rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "cat" "-")
The squirrel likes the dog.
Unknown
rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "dog" "+")
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "dog" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The cat does not chase the squirrel.
Unknown
inv-random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
@0: The bear does not chase the cat.[(triple1)] The bear does not eat the cat.[(triple2)] The bear likes the cat.[(triple3)] The cat chases the dog.[(triple4)] The cat eats the dog.[(triple5)] The cat is green.[(triple6)] The cat likes the squirrel.[(triple7)] The dog is green.[(triple8)] The dog is not nice.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel does not eat the dog.[(triple11)] The squirrel is not green.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel likes the cat.[(triple15)] @1: The cat chases the cat.[(((triple6) -> rule1))] The dog chases the cat.[(((triple8) -> rule1))] @2: The cat does not like the dog.[(((triple10 ((triple8) -> rule1)) -> rule3) OR ((triple4 ((triple8) -> rule1)) -> rule3))]
The bear does not chase the cat.
("bear" "chases" "cat" "-")
triple1
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is not nice.
("dog" "is" "nice" "-")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple11
The squirrel is not green.
("squirrel" "is" "green" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple6) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple8) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cat does not like the dog.
("cat" "likes" "dog" "-")
((triple10 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
((triple4 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not like the dog.
("cat" "likes" "dog" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2