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