The bear chases the cat. The bear chases the squirrel. The bear is not nice. The bear is not red. The bear is not young. The bear likes the squirrel. The bear needs the squirrel. The cat needs the bear. The squirrel is kind. The squirrel needs the bear. If someone chases the cat then the cat likes the bear. If someone chases the bear and the bear needs the squirrel then the bear is cold. If someone is young and they chase the bear then the bear does not like the squirrel. If someone is kind then they like the cat. If someone likes the cat then the cat is kind. If someone is young and they do not need the bear then they do not like the squirrel.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is not red.
("bear" "is" "red" "-")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the cat then the cat likes the bear.
((("someone" "chases" "cat" "+")) -> ("cat" "likes" "bear" "+"))
If someone chases the bear and the bear needs the squirrel then the bear is cold.
((("someone" "chases" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("bear" "is" "cold" "+"))
If someone is young and they chase the bear then the bear does not like the squirrel.
((("someone" "is" "young" "+") ("someone" "chases" "bear" "+")) -> ("bear" "likes" "squirrel" "-"))
If someone is kind then they like the cat.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "cat" "+"))
If someone likes the cat then the cat is kind.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone is young and they do not need the bear then they do not like the squirrel.
((("someone" "is" "young" "+") ("someone" "needs" "bear" "~")) -> ("someone" "likes" "squirrel" "-"))
The bear is not young.
True
1
proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The bear does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "chases" "squirrel" "-")
triple2
The cat likes the bear.
True
2
proof
[(((triple1) -> rule1))]
("cat" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The squirrel does not like the cat.
False
2
inv-proof
[(((triple9) -> rule4))]
("squirrel" "likes" "cat" "-")
((triple9) -> (rule4 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The cat is kind.
True
3
proof
[(((((triple9) -> rule4)) -> rule5))]
("cat" "is" "kind" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat is not kind.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule5))]
("cat" "is" "kind" "-")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the cat.
True
4
proof
[(((((((triple9) -> rule4)) -> rule5)) -> rule4))]
("cat" "likes" "cat" "+")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The cat does not like the cat.
False
4
inv-proof
[(((((((triple9) -> rule4)) -> rule5)) -> rule4))]
("cat" "likes" "cat" "-")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The bear likes the cat.
Unknown
rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "cat" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is not nice.[(triple3)] The bear is not red.[(triple4)] The bear is not young.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The cat needs the bear.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The cat likes the bear.[(((triple1) -> rule1))] The squirrel likes the cat.[(((triple9) -> rule4))] @2: The cat is kind.[(((((triple9) -> rule4)) -> rule5))] @3: The cat likes the cat.[(((((((triple9) -> rule4)) -> rule5)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear is not nice.
("bear" "is" "nice" "-")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((triple9) -> (rule4 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3