The bear does not like the dog. The bear likes the lion. The bear needs the dog. The bear needs the lion. The dog eats the lion. The dog is kind. The dog needs the lion. The lion eats the bear. The lion is rough. The lion is young. The lion likes the dog. The lion needs the dog. If someone likes the bear then they need the lion. If someone needs the lion then the lion eats the bear. If the bear needs the lion then the bear is kind. If someone eats the dog and they need the lion then the lion does not eat the dog. If the dog is kind then the dog is rough. If someone eats the lion then they are young. If someone is kind and they do not eat the dog then they eat the lion. If someone is kind then they eat the lion.
The bear does not like the dog.
("bear" "likes" "dog" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
If someone likes the bear then they need the lion.
((("someone" "likes" "bear" "+")) -> ("someone" "needs" "lion" "+"))
If someone needs the lion then the lion eats the bear.
((("someone" "needs" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If the bear needs the lion then the bear is kind.
((("bear" "needs" "lion" "+")) -> ("bear" "is" "kind" "+"))
If someone eats the dog and they need the lion then the lion does not eat the dog.
((("someone" "eats" "dog" "+") ("someone" "needs" "lion" "+")) -> ("lion" "eats" "dog" "-"))
If the dog is kind then the dog is rough.
((("dog" "is" "kind" "+")) -> ("dog" "is" "rough" "+"))
If someone eats the lion then they are young.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and they do not eat the dog then they eat the lion.
((("someone" "is" "kind" "+") ("someone" "eats" "dog" "~")) -> ("someone" "eats" "lion" "+"))
If someone is kind then they eat the lion.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "lion" "+"))
The dog is kind.
True
1
proof
[(triple6)]
("dog" "is" "kind" "+")
triple6
The dog does not need the lion.
False
1
inv-proof
[(triple7)]
("dog" "needs" "lion" "-")
triple7
The dog is young.
True
2
proof
[(((triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule6))]
("dog" "is" "young" "+")
((triple5) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog is not young.
False
2
inv-proof
[(((triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule6))]
("dog" "is" "young" "-")
((triple5) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The bear eats the lion.
True
3
proof
[(((((triple4) -> rule3)) -> rule8))]
("bear" "eats" "lion" "+")
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear does not eat the lion.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule8))]
("bear" "eats" "lion" "-")
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
True
4
proof
[(((((((triple4) -> rule3)) -> rule8)) -> rule6))]
("bear" "is" "young" "+")
((((((triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is not young.
False
4
inv-proof
[(((((((triple4) -> rule3)) -> rule8)) -> rule6))]
("bear" "is" "young" "-")
((((((triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "lion" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bear does not like the dog.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the lion.[(triple4)] The dog eats the lion.[(triple5 OR ((triple6) -> rule8))] The dog is kind.[(triple6)] The dog needs the lion.[(triple7)] The lion eats the bear.[(triple8 OR ((triple4) -> rule2) OR ((triple7) -> rule2))] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion likes the dog.[(triple11)] The lion needs the dog.[(triple12)] @1: The bear is kind.[(((triple4) -> rule3))] The dog is rough.[(((triple6) -> rule5))] The dog is young.[(((triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule6))] @2: The bear eats the lion.[(((((triple4) -> rule3)) -> rule8))] @3: The bear is young.[(((((((triple4) -> rule3)) -> rule8)) -> rule6))]
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear needs the lion.
("bear" "needs" "lion" "+")
triple4
The dog eats the lion.
("dog" "eats" "lion" "+")
triple5
((triple6) -> (rule8 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog needs the lion.
("dog" "needs" "lion" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple8
((triple4) -> (rule2 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
((triple7) -> (rule2 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion likes the dog.
("lion" "likes" "dog" "+")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
((triple4) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple6) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple5) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((((triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3