The bear does not eat the tiger. The bear likes the cat. The bear needs the cat. The cat is green. The cat needs the cow. The cow is not big. The cow is green. The cow needs the bear. The cow needs the tiger. The tiger is cold. The tiger likes the bear. The tiger does not need the bear. If something likes the bear then it does not like the cat. If something likes the bear then it does not like the cat.
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is green.
("cow" "is" "green" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
If something likes the bear then it does not like the cat.
((("something" "likes" "bear" "+")) -> ("something" "likes" "cat" "-"))
If something likes the bear then it does not like the cat.
((("something" "likes" "bear" "+")) -> ("something" "likes" "cat" "-"))
The bear needs the cat.
True
1
proof
[(triple3)]
("bear" "needs" "cat" "+")
triple3
The cow does not need the tiger.
False
1
inv-proof
[(triple9)]
("cow" "needs" "tiger" "-")
triple9
The tiger does not like the cat.
True
2
proof
[(((triple11) -> rule1) OR ((triple11) -> rule2))]
("tiger" "likes" "cat" "-")
((triple11) -> (rule1 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
((triple11) -> (rule2 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
The tiger likes the cat.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple11) -> rule2))]
("tiger" "likes" "cat" "+")
((triple11) -> (rule1 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
((triple11) -> (rule2 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
The tiger does not eat the bear.
Unknown
inv-random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "-")
The bear needs the cow.
Unknown
random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "+")
The cat does not need the bear.
Unknown
inv-random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "-")
The cat needs the tiger.
Unknown
random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "+")
@0: The bear does not eat the tiger.[(triple1)] The bear likes the cat.[(triple2)] The bear needs the cat.[(triple3)] The cat is green.[(triple4)] The cat needs the cow.[(triple5)] The cow is green.[(triple7)] The cow is not big.[(triple6)] The cow needs the bear.[(triple8)] The cow needs the tiger.[(triple9)] The tiger does not need the bear.[(triple12)] The tiger is cold.[(triple10)] The tiger likes the bear.[(triple11)] @1: The tiger does not like the cat.[(((triple11) -> rule1) OR ((triple11) -> rule2))]
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is not big.
("cow" "is" "big" "-")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple8
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple9
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
((triple11) -> (rule1 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1
((triple11) -> (rule2 % int1))
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
int1