The bear chases the cat. The bear eats the squirrel. The cat is red. The dog is big. The squirrel chases the bear. The squirrel chases the dog. The squirrel likes the bear. If someone chases the dog and they eat the cat then they like the dog. If the cat chases the dog then the cat is blue. If someone eats the bear then the bear is young. If someone likes the cat then they are big. If someone chases the cat and they like the dog then they chase the squirrel. If someone chases the bear then the bear likes the dog.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The cat is red.
("cat" "is" "red" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone chases the dog and they eat the cat then they like the dog.
((("someone" "chases" "dog" "+") ("someone" "eats" "cat" "+")) -> ("someone" "likes" "dog" "+"))
If the cat chases the dog then the cat is blue.
((("cat" "chases" "dog" "+")) -> ("cat" "is" "blue" "+"))
If someone eats the bear then the bear is young.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone likes the cat then they are big.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone chases the cat and they like the dog then they chase the squirrel.
((("someone" "chases" "cat" "+") ("someone" "likes" "dog" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the bear then the bear likes the dog.
((("someone" "chases" "bear" "+")) -> ("bear" "likes" "dog" "+"))
The squirrel chases the dog.
True
1
proof
[(triple6)]
("squirrel" "chases" "dog" "+")
triple6
The squirrel does not chase the dog.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "dog" "-")
triple6
The bear likes the dog.
True
2
proof
[(((triple5) -> rule6))]
("bear" "likes" "dog" "+")
((triple5) -> (rule6 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear does not like the dog.
False
2
inv-proof
[(((triple5) -> rule6))]
("bear" "likes" "dog" "-")
((triple5) -> (rule6 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear chases the squirrel.
True
4
proof
[(((triple1 ((triple5) -> rule6)) -> rule5))]
("bear" "chases" "squirrel" "+")
((triple1 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear does not chase the squirrel.
False
4
inv-proof
[(((triple1 ((triple5) -> rule6)) -> rule5))]
("bear" "chases" "squirrel" "-")
((triple1 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "big" "-")
The cat chases the squirrel.
Unknown
rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "chases" "squirrel" "+")
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "big" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The squirrel does not eat the dog.
Unknown
inv-random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The cat is red.[(triple3)] The dog is big.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bear likes the dog.[(((triple5) -> rule6))] @2: The bear chases the squirrel.[(((triple1 ((triple5) -> rule6)) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple7
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple5) -> (rule6 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple1 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2