The cat eats the tiger. The cat likes the lion. The cat likes the tiger. The lion eats the cat. The lion is cold. The lion is kind. The lion likes the cat. The lion visits the cat. The tiger eats the cat. The tiger eats the lion. The tiger is kind. The tiger likes the lion. If someone eats the cat and they are kind then they visit the cat. If someone likes the cat and the cat visits the lion then the lion is nice. If the tiger visits the lion and the tiger visits the cat then the cat eats the lion. If someone visits the cat and they eat the lion then the cat visits the lion. If someone likes the tiger then the tiger likes the lion. If someone eats the cat then the cat is cold.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone eats the cat and they are kind then they visit the cat.
((("someone" "eats" "cat" "+") ("someone" "is" "kind" "+")) -> ("someone" "visits" "cat" "+"))
If someone likes the cat and the cat visits the lion then the lion is nice.
((("someone" "likes" "cat" "+") ("cat" "visits" "lion" "+")) -> ("lion" "is" "nice" "+"))
If the tiger visits the lion and the tiger visits the cat then the cat eats the lion.
((("tiger" "visits" "lion" "+") ("tiger" "visits" "cat" "+")) -> ("cat" "eats" "lion" "+"))
If someone visits the cat and they eat the lion then the cat visits the lion.
((("someone" "visits" "cat" "+") ("someone" "eats" "lion" "+")) -> ("cat" "visits" "lion" "+"))
If someone likes the tiger then the tiger likes the lion.
((("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "lion" "+"))
If someone eats the cat then the cat is cold.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "cold" "+"))
The tiger likes the lion.
True
1
proof
[(triple12 OR ((triple3) -> rule5))]
("tiger" "likes" "lion" "+")
triple12
((triple3) -> (rule5 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The lion is not kind.
False
1
inv-proof
[(triple6)]
("lion" "is" "kind" "-")
triple6
The tiger visits the cat.
True
3
proof
[(((triple9 triple11) -> rule1))]
("tiger" "visits" "cat" "+")
((triple9 triple11) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger does not visit the cat.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("tiger" "visits" "cat" "-")
((triple9 triple11) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the lion.
True
5
proof
[(((((triple9 triple11) -> rule1) triple10) -> rule4))]
("cat" "visits" "lion" "+")
((((triple9 triple11) -> (rule1 % int2)) triple10) -> (rule4 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat does not visit the lion.
False
5
inv-proof
[(((((triple9 triple11) -> rule1) triple10) -> rule4))]
("cat" "visits" "lion" "-")
((((triple9 triple11) -> (rule1 % int2)) triple10) -> (rule4 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The lion is nice.
True
7
proof
[(((triple7 ((((triple9 triple11) -> rule1) triple10) -> rule4)) -> rule2))]
("lion" "is" "nice" "+")
((triple7 ((((triple9 triple11) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3
The lion is not nice.
False
7
inv-proof
[(((triple7 ((((triple9 triple11) -> rule1) triple10) -> rule4)) -> rule2))]
("lion" "is" "nice" "-")
((triple7 ((((triple9 triple11) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3
The cat does not eat the lion.
Unknown
inv-rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "lion" "-")
The cat visits the cat.
Unknown
rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "cat" "+")
The lion does not eat the tiger.
Unknown
inv-random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat eats the tiger.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the tiger.[(triple3)] The lion eats the cat.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion likes the cat.[(triple7)] The lion visits the cat.[(triple8 OR ((triple4 triple6) -> rule1))] The tiger eats the cat.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is kind.[(triple11)] The tiger likes the lion.[(triple12 OR ((triple3) -> rule5))] @1: The cat is cold.[(((triple4) -> rule6) OR ((triple9) -> rule6))] The tiger visits the cat.[(((triple9 triple11) -> rule1))] @2: The cat visits the lion.[(((((triple9 triple11) -> rule1) triple10) -> rule4))] @3: The lion is nice.[(((triple7 ((((triple9 triple11) -> rule1) triple10) -> rule4)) -> rule2))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple3
The lion eats the cat.
("lion" "eats" "cat" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion likes the cat.
("lion" "likes" "cat" "+")
triple7
The lion visits the cat.
("lion" "visits" "cat" "+")
triple8
((triple4 triple6) -> (rule1 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple12
((triple3) -> (rule5 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple4) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple9) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple9 triple11) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
((((triple9 triple11) -> (rule1 % int2)) triple10) -> (rule4 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
((triple7 ((((triple9 triple11) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3