The bear likes the lion. The cat is young. The cat likes the bear. The cat visits the bear. The lion eats the squirrel. The squirrel eats the bear. The squirrel likes the bear. If someone visits the bear and the bear is cold then they visit the lion. If someone is cold then they like the cat. If someone visits the bear then they are green. If the squirrel eats the lion and the lion likes the bear then the squirrel eats the cat. If someone likes the cat then the cat likes the squirrel. If someone likes the squirrel then the squirrel is red. If someone eats the cat then the cat eats the squirrel. If the squirrel eats the bear then the bear is cold.
The bear likes the lion.
("bear" "likes" "lion" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone visits the bear and the bear is cold then they visit the lion.
((("someone" "visits" "bear" "+") ("bear" "is" "cold" "+")) -> ("someone" "visits" "lion" "+"))
If someone is cold then they like the cat.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "cat" "+"))
If someone visits the bear then they are green.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "green" "+"))
If the squirrel eats the lion and the lion likes the bear then the squirrel eats the cat.
((("squirrel" "eats" "lion" "+") ("lion" "likes" "bear" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone likes the cat then the cat likes the squirrel.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If someone likes the squirrel then the squirrel is red.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone eats the cat then the cat eats the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If the squirrel eats the bear then the bear is cold.
((("squirrel" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
The lion eats the squirrel.
True
1
proof
[(triple5)]
("lion" "eats" "squirrel" "+")
triple5
The lion does not eat the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "eats" "squirrel" "-")
triple5
The cat is green.
True
2
proof
[(((triple4) -> rule3))]
("cat" "is" "green" "+")
((triple4) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple4) -> rule3))]
("cat" "is" "green" "-")
((triple4) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat visits the lion.
True
4
proof
[(((triple4 ((triple6) -> rule8)) -> rule1))]
("cat" "visits" "lion" "+")
((triple4 ((triple6) -> (rule8 % int2))) -> (rule1 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not like the cat.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule2))]
("bear" "likes" "cat" "-")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The cat likes the squirrel.
True
4
proof
[(((((((triple6) -> rule8)) -> rule2)) -> rule5))]
("cat" "likes" "squirrel" "+")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The cat does not like the squirrel.
False
4
inv-proof
[(((((((triple6) -> rule8)) -> rule2)) -> rule5))]
("cat" "likes" "squirrel" "-")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The cat does not eat the squirrel.
Unknown
inv-rconc
[@2: The cat eats the squirrel.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("cat" "eats" "squirrel" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "green" "+")
The lion does not like the cat.
Unknown
inv-rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "cat" "-")
The squirrel likes the cat.
Unknown
rconc
[@1: The squirrel likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "cat" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
The bear does not eat the squirrel.
Unknown
inv-random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bear likes the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the bear.[(triple3)] The cat visits the bear.[(triple4)] The lion eats the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bear is cold.[(((triple6) -> rule8))] The cat is green.[(((triple4) -> rule3))] @2: The bear likes the cat.[(((((triple6) -> rule8)) -> rule2))] The cat visits the lion.[(((triple4 ((triple6) -> rule8)) -> rule1))] @3: The cat likes the squirrel.[(((((((triple6) -> rule8)) -> rule2)) -> rule5))] @4: The squirrel is red.[(((((((((triple6) -> rule8)) -> rule2)) -> rule5)) -> rule6))]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat likes the bear.
("cat" "likes" "bear" "+")
triple3
The cat visits the bear.
("cat" "visits" "bear" "+")
triple4
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple6
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple7
The bear is cold.
("bear" "is" "cold" "+")
((triple6) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((triple4) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
((triple4 ((triple6) -> (rule8 % int2))) -> (rule1 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((((triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4