The cat likes the lion. The cat likes the rabbit. The cat does not visit the rabbit. The lion eats the rabbit. The lion likes the squirrel. The lion does not visit the squirrel. The rabbit eats the cat. The rabbit does not eat the squirrel. The rabbit is rough. The rabbit likes the cat. The rabbit does not like the lion. The rabbit likes the squirrel. The rabbit visits the cat. The squirrel is rough. The squirrel does not visit the lion. If someone eats the lion then the lion eats the cat. If someone eats the squirrel and they visit the lion then the squirrel likes the rabbit. If someone is red and they visit the squirrel then the squirrel is rough. If someone visits the squirrel then they do not eat the rabbit. If someone eats the cat then they do not visit the rabbit. If someone visits the cat then the cat does not visit the squirrel. If someone eats the squirrel and the squirrel likes the cat then the cat does not eat the rabbit. If someone likes the rabbit then they eat the lion.
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
If someone eats the lion then the lion eats the cat.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "cat" "+"))
If someone eats the squirrel and they visit the lion then the squirrel likes the rabbit.
((("someone" "eats" "squirrel" "+") ("someone" "visits" "lion" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone is red and they visit the squirrel then the squirrel is rough.
((("someone" "is" "red" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone visits the squirrel then they do not eat the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("someone" "eats" "rabbit" "-"))
If someone eats the cat then they do not visit the rabbit.
((("someone" "eats" "cat" "+")) -> ("someone" "visits" "rabbit" "-"))
If someone visits the cat then the cat does not visit the squirrel.
((("someone" "visits" "cat" "+")) -> ("cat" "visits" "squirrel" "-"))
If someone eats the squirrel and the squirrel likes the cat then the cat does not eat the rabbit.
((("someone" "eats" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "eats" "rabbit" "-"))
If someone likes the rabbit then they eat the lion.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "lion" "+"))
The rabbit likes the cat.
True
1
proof
[(triple10)]
("rabbit" "likes" "cat" "+")
triple10
The squirrel is not rough.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "rough" "-")
triple14
The rabbit does not visit the rabbit.
True
2
proof
[(((triple7) -> rule5))]
("rabbit" "visits" "rabbit" "-")
((triple7) -> (rule5 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit visits the rabbit.
False
2
inv-proof
[(((triple7) -> rule5))]
("rabbit" "visits" "rabbit" "+")
((triple7) -> (rule5 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The lion eats the cat.
True
3
proof
[(((((triple2) -> rule8)) -> rule1))]
("lion" "eats" "cat" "+")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not eat the cat.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule1))]
("lion" "eats" "cat" "-")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not visit the rabbit.
True
4
proof
[(((((((triple2) -> rule8)) -> rule1)) -> rule5))]
("lion" "visits" "rabbit" "-")
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
The lion visits the rabbit.
False
4
inv-proof
[(((((((triple2) -> rule8)) -> rule1)) -> rule5))]
("lion" "visits" "rabbit" "+")
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
The squirrel does not like the rabbit.
Unknown
inv-rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "rabbit" "-")
The rabbit eats the lion.
Unknown
rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "lion" "+")
The squirrel does not eat the lion.
Unknown
inv-rconc
[@2: The squirrel eats the lion.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("squirrel" "eats" "lion" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "lion" "+")
The rabbit does not visit the lion.
Unknown
inv-random
[@0: The rabbit visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cat does not visit the rabbit.[(triple3)] The cat likes the lion.[(triple1)] The cat likes the rabbit.[(triple2)] The lion does not visit the squirrel.[(triple6)] The lion eats the rabbit.[(triple4)] The lion likes the squirrel.[(triple5)] The rabbit does not eat the squirrel.[(triple8)] The rabbit does not like the lion.[(triple11)] The rabbit eats the cat.[(triple7)] The rabbit is rough.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the squirrel.[(triple12)] The rabbit visits the cat.[(triple13)] The squirrel does not visit the lion.[(triple15)] The squirrel is rough.[(triple14)] @1: The cat does not visit the squirrel.[(((triple13) -> rule6))] The cat eats the lion.[(((triple2) -> rule8))] The rabbit does not visit the rabbit.[(((triple7) -> rule5))] @2: The lion eats the cat.[(((((triple2) -> rule8)) -> rule1))] @3: The lion does not visit the rabbit.[(((((((triple2) -> rule8)) -> rule1)) -> rule5))]
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple5
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
triple8
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple10
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple12
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple13
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
triple15
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
((triple13) -> (rule6 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple2) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
((triple7) -> (rule5 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3