The bear eats the cow. The bear is blue. The bear is young. The bear visits the lion. The cow eats the dog. The cow likes the lion. The cow visits the lion. The dog is blue. The dog is nice. The dog likes the bear. The dog likes the cow. The dog likes the lion. The lion eats the cow. The lion likes the cow. The lion visits the bear. If someone is blue then they are green. If someone is green and they eat the dog then they eat the bear. If someone likes the lion and they are round then they eat the cow. If someone is blue and green then they eat the dog. If someone is green then they are round. If someone is nice then they like the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and they eat the dog then they eat the bear.
((("someone" "is" "green" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "bear" "+"))
If someone likes the lion and they are round then they eat the cow.
((("someone" "likes" "lion" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "cow" "+"))
If someone is blue and green then they eat the dog.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "dog" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they like the bear.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
The lion visits the bear.
True
1
proof
[(triple15)]
("lion" "visits" "bear" "+")
triple15
The dog is not nice.
False
1
inv-proof
[(triple9)]
("dog" "is" "nice" "-")
triple9
The dog is green.
True
2
proof
[(((triple8) -> rule1))]
("dog" "is" "green" "+")
((triple8) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "green" "-")
((triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog eats the dog.
True
4
proof
[(((triple8 ((triple8) -> rule1)) -> rule4))]
("dog" "eats" "dog" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bear is not round.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule5))]
("bear" "is" "round" "-")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog eats the cow.
True
5
proof
[(((triple12 ((((triple8) -> rule1)) -> rule5)) -> rule3))]
("dog" "eats" "cow" "+")
((triple12 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog does not eat the cow.
False
5
inv-proof
[(((triple12 ((((triple8) -> rule1)) -> rule5)) -> rule3))]
("dog" "eats" "cow" "-")
((triple12 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The cow does not like the bear.
Unknown
inv-rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "likes" "bear" "-")
The lion eats the bear.
Unknown
rconc
[@2: The lion eats the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("lion" "eats" "bear" "+")
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The lion likes the bear.
Unknown
rconc
[@1: The lion likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "bear" "+")
The dog does not visit the lion.
Unknown
inv-random
[@0: The dog visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "lion" "-")
The cow eats the lion.
Unknown
random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The dog visits the cow.
Unknown
random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The bear visits the lion.[(triple4)] The cow eats the dog.[(triple5)] The cow likes the lion.[(triple6)] The cow visits the lion.[(triple7)] The dog is blue.[(triple8)] The dog is nice.[(triple9)] The dog likes the bear.[(triple10 OR ((triple9) -> rule6))] The dog likes the cow.[(triple11)] The dog likes the lion.[(triple12)] The lion eats the cow.[(triple13)] The lion likes the cow.[(triple14)] The lion visits the bear.[(triple15)] @1: The bear is green.[(((triple2) -> rule1))] The dog is green.[(((triple8) -> rule1))] @2: The bear eats the dog.[(((triple2 ((triple2) -> rule1)) -> rule4))] The bear is round.[(((((triple2) -> rule1)) -> rule5))] The dog eats the dog.[(((triple8 ((triple8) -> rule1)) -> rule4))] The dog is round.[(((((triple8) -> rule1)) -> rule5))] @3: The bear eats the bear.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))] The dog eats the bear.[(((((triple8) -> rule1) ((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2))] The dog eats the cow.[(((triple12 ((((triple8) -> rule1)) -> rule5)) -> rule3))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The cow eats the dog.
("cow" "eats" "dog" "+")
triple5
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The cow visits the lion.
("cow" "visits" "lion" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
((triple9) -> (rule6 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
triple11
The dog likes the lion.
("dog" "likes" "lion" "+")
triple12
The lion eats the cow.
("lion" "eats" "cow" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion visits the bear.
("lion" "visits" "bear" "+")
triple15
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple8) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is round.
("bear" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple2) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
((((triple8) -> (rule1 % int3)) ((triple8 ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple12 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3