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