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