The bear needs the squirrel. The cat eats the squirrel. The squirrel eats the cat. If the squirrel likes the cat and the cat needs the bear then the squirrel likes the bear. If someone needs the bear then the bear likes the cat. If someone eats the cat and the cat eats the squirrel then the squirrel eats the bear. If someone is kind and they need the cat then they like the bear. If someone needs the cat then they are young. If the cat is young and the cat needs the squirrel then the cat eats the squirrel. If the squirrel eats the bear then the squirrel likes the cat. If someone needs the cat and the cat is kind then the cat eats the squirrel.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If the squirrel likes the cat and the cat needs the bear then the squirrel likes the bear.
((("squirrel" "likes" "cat" "+") ("cat" "needs" "bear" "+")) -> ("squirrel" "likes" "bear" "+"))
If someone needs the bear then the bear likes the cat.
((("someone" "needs" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If someone eats the cat and the cat eats the squirrel then the squirrel eats the bear.
((("someone" "eats" "cat" "+") ("cat" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone is kind and they need the cat then they like the bear.
((("someone" "is" "kind" "+") ("someone" "needs" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone needs the cat then they are young.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "young" "+"))
If the cat is young and the cat needs the squirrel then the cat eats the squirrel.
((("cat" "is" "young" "+") ("cat" "needs" "squirrel" "+")) -> ("cat" "eats" "squirrel" "+"))
If the squirrel eats the bear then the squirrel likes the cat.
((("squirrel" "eats" "bear" "+")) -> ("squirrel" "likes" "cat" "+"))
If someone needs the cat and the cat is kind then the cat eats the squirrel.
((("someone" "needs" "cat" "+") ("cat" "is" "kind" "+")) -> ("cat" "eats" "squirrel" "+"))
The squirrel eats the cat.
True
1
proof
[(triple3)]
("squirrel" "eats" "cat" "+")
triple3
The cat does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "eats" "squirrel" "-")
triple2
The squirrel eats the bear.
True
3
proof
[(((triple3 triple2) -> rule3))]
("squirrel" "eats" "bear" "+")
((triple3 triple2) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("squirrel" "eats" "bear" "-")
((triple3 triple2) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel likes the cat.
True
4
proof
[(((((triple3 triple2) -> rule3)) -> rule7))]
("squirrel" "likes" "cat" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The squirrel does not like the cat.
False
4
inv-proof
[(((((triple3 triple2) -> rule3)) -> rule7))]
("squirrel" "likes" "cat" "-")
((((triple3 triple2) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "young" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "young" "+")
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "bear" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear needs the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] @1: The squirrel eats the bear.[(((triple3 triple2) -> rule3))] @2: The squirrel likes the cat.[(((((triple3 triple2) -> rule3)) -> rule7))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple3 triple2) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2