The bear is cold. The bear is young. The bear likes the lion. The cow chases the lion. The cow needs the lion. The dog likes the cow. The lion chases the cow. If something likes the cow then the cow likes the bear. If something likes the dog then it needs the lion. Blue things are young. If something likes the dog and it does not chase the bear then the dog is rough. If something likes the bear and the bear is young then the bear likes the dog. If something likes the bear and the bear does not need the dog then it needs the cow.
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
If something likes the cow then the cow likes the bear.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If something likes the dog then it needs the lion.
((("something" "likes" "dog" "+")) -> ("something" "needs" "lion" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something likes the dog and it does not chase the bear then the dog is rough.
((("something" "likes" "dog" "+") ("something" "chases" "bear" "~")) -> ("dog" "is" "rough" "+"))
If something likes the bear and the bear is young then the bear likes the dog.
((("something" "likes" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "likes" "dog" "+"))
If something likes the bear and the bear does not need the dog then it needs the cow.
((("something" "likes" "bear" "+") ("bear" "needs" "dog" "~")) -> ("something" "needs" "cow" "+"))
The dog likes the cow.
True
1
proof
[(triple6)]
("dog" "likes" "cow" "+")
triple6
The lion does not chase the cow.
False
1
inv-proof
[(triple7)]
("lion" "chases" "cow" "-")
triple7
The cow likes the bear.
True
2
proof
[(((triple6) -> rule1))]
("cow" "likes" "bear" "+")
((triple6) -> (rule1 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow does not like the bear.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "likes" "bear" "-")
((triple6) -> (rule1 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The bear likes the dog.
True
4
proof
[(((((triple6) -> rule1) triple2) -> rule5))]
("bear" "likes" "dog" "+")
((((triple6) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear does not like the dog.
False
4
inv-proof
[(((((triple6) -> rule1) triple2) -> rule5))]
("bear" "likes" "dog" "-")
((((triple6) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear needs the lion.
True
5
proof
[(((((((triple6) -> rule1) triple2) -> rule5)) -> rule2))]
("bear" "needs" "lion" "+")
((((((triple6) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The bear does not need the lion.
False
5
inv-proof
[(((((((triple6) -> rule1) triple2) -> rule5)) -> rule2))]
("bear" "needs" "lion" "-")
((((((triple6) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The dog does not need the lion.
Unknown
inv-rconc
[@1: The dog needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "lion" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "young" "+")
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "cow" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "young" "+")
The dog does not need the bear.
Unknown
inv-random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not like the cow.
Unknown
inv-random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "-")
The cow chases the bear.
Unknown
random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "+")
@0: The bear is cold.[(triple1)] The bear is young.[(triple2)] The bear likes the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow needs the lion.[(triple5)] The dog likes the cow.[(triple6)] The lion chases the cow.[(triple7)] @1: The cow likes the bear.[(((triple6) -> rule1))] @2: The bear likes the dog.[(((((triple6) -> rule1) triple2) -> rule5))] @3: The bear needs the lion.[(((((((triple6) -> rule1) triple2) -> rule5)) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow needs the lion.
("cow" "needs" "lion" "+")
triple5
The dog likes the cow.
("dog" "likes" "cow" "+")
triple6
The lion chases the cow.
("lion" "chases" "cow" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
((triple6) -> (rule1 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
((((triple6) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The bear needs the lion.
("bear" "needs" "lion" "+")
((((((triple6) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3