The bear needs the cat. The cat eats the dog. The cat needs the tiger. The dog eats the bear. The dog likes the tiger. The tiger does not eat the cat. The tiger likes the cat. If someone needs the tiger and the tiger likes the cat then the tiger is kind.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If someone needs the tiger and the tiger likes the cat then the tiger is kind.
((("someone" "needs" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("tiger" "is" "kind" "+"))
The tiger does not eat the cat.
True
1
proof
[(triple6)]
("tiger" "eats" "cat" "-")
triple6
The tiger does not like the cat.
False
1
inv-proof
[(triple7)]
("tiger" "likes" "cat" "-")
triple7
The tiger is kind.
True
3
proof
[(((triple3 triple7) -> rule1))]
("tiger" "is" "kind" "+")
((triple3 triple7) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
3
inv-proof
[(((triple3 triple7) -> rule1))]
("tiger" "is" "kind" "-")
((triple3 triple7) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
The cat does not eat the tiger.
Unknown
inv-random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear needs the cat.[(triple1)] The cat eats the dog.[(triple2)] The cat needs the tiger.[(triple3)] The dog eats the bear.[(triple4)] The dog likes the tiger.[(triple5)] The tiger does not eat the cat.[(triple6)] The tiger likes the cat.[(triple7)] @1: The tiger is kind.[(((triple3 triple7) -> rule1))]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple6
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple7
The tiger is kind.
("tiger" "is" "kind" "+")
((triple3 triple7) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1