The bear chases the cat. The bear likes the cat. The bear needs the cat. The bear needs the squirrel. The cat chases the bear. The cat is nice. The squirrel chases the bear. The squirrel is nice. The squirrel likes the bear. The squirrel needs the cat. Red people are nice. If the squirrel needs the cat then the cat likes the squirrel. If the cat likes the squirrel then the cat chases the squirrel.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the squirrel needs the cat then the cat likes the squirrel.
((("squirrel" "needs" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If the cat likes the squirrel then the cat chases the squirrel.
((("cat" "likes" "squirrel" "+")) -> ("cat" "chases" "squirrel" "+"))
The squirrel likes the bear.
True
1
proof
[(triple9)]
("squirrel" "likes" "bear" "+")
triple9
The squirrel is not nice.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "nice" "-")
triple8
The cat likes the squirrel.
True
2
proof
[(((triple10) -> rule2))]
("cat" "likes" "squirrel" "+")
((triple10) -> (rule2 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not like the squirrel.
False
2
inv-proof
[(((triple10) -> rule2))]
("cat" "likes" "squirrel" "-")
((triple10) -> (rule2 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat chases the squirrel.
True
3
proof
[(((((triple10) -> rule2)) -> rule3))]
("cat" "chases" "squirrel" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The cat does not chase the squirrel.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("cat" "chases" "squirrel" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat needs the squirrel.
Unknown
random
[@0: The cat needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "squirrel" "+")
The squirrel does not chase the cat.
Unknown
inv-random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear likes the cat.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the squirrel.[(triple4)] The cat chases the bear.[(triple5)] The cat is nice.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel is nice.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel needs the cat.[(triple10)] @1: The cat likes the squirrel.[(((triple10) -> rule2))] @2: The cat chases the squirrel.[(((((triple10) -> rule2)) -> rule3))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple10
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple10) -> (rule2 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2