The bear eats the tiger. The bear is kind. The bear likes the dog. The bear needs the tiger. The cow eats the bear. The cow eats the dog. The cow is kind. The cow is nice. The cow is round. The cow is not young. The cow needs the bear. The dog eats the tiger. The dog does not like the cow. The dog needs the tiger. The tiger eats the bear. The tiger likes the bear. If someone likes the bear then they need the dog. If someone eats the bear and the bear is young then the bear does not like the dog. If someone likes the tiger and the tiger is kind then the tiger likes the cow.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone likes the bear then they need the dog.
((("someone" "likes" "bear" "+")) -> ("someone" "needs" "dog" "+"))
If someone eats the bear and the bear is young then the bear does not like the dog.
((("someone" "eats" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "likes" "dog" "-"))
If someone likes the tiger and the tiger is kind then the tiger likes the cow.
((("someone" "likes" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "likes" "cow" "+"))
The tiger likes the bear.
True
1
proof
[(triple16)]
("tiger" "likes" "bear" "+")
triple16
The bear does not like the dog.
False
1
inv-proof
[(triple3)]
("bear" "likes" "dog" "-")
triple3
The tiger needs the dog.
True
2
proof
[(((triple16) -> rule1))]
("tiger" "needs" "dog" "+")
((triple16) -> (rule1 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger does not need the dog.
False
2
inv-proof
[(((triple16) -> rule1))]
("tiger" "needs" "dog" "-")
((triple16) -> (rule1 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The tiger likes the cow.
Unknown
rconc
[@1: The tiger likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "cow" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The bear eats the tiger.[(triple1)] The bear is kind.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the tiger.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the dog.[(triple6)] The cow is kind.[(triple7)] The cow is nice.[(triple8)] The cow is not young.[(triple10)] The cow is round.[(triple9)] The cow needs the bear.[(triple11)] The dog does not like the cow.[(triple13)] The dog eats the tiger.[(triple12)] The dog needs the tiger.[(triple14)] The tiger eats the bear.[(triple15)] The tiger likes the bear.[(triple16)] @1: The tiger needs the dog.[(((triple16) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple10
The cow is round.
("cow" "is" "round" "+")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple13
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple12
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple14
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple15
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple16
The tiger needs the dog.
("tiger" "needs" "dog" "+")
((triple16) -> (rule1 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1