The cat is green. The cat likes the tiger. The lion is red. The lion likes the rabbit. The lion sees the cat. The lion sees the rabbit. The lion sees the tiger. The rabbit is rough. The tiger is blue. The tiger likes the rabbit. The tiger visits the cat. The tiger visits the lion. If someone likes the tiger then they are blue. If the cat is rough then the cat visits the tiger. If someone likes the lion and the lion sees the cat then the cat is red. If someone is blue and they see the tiger then they visit the lion. If someone is green and they visit the cat then they visit the rabbit. If someone likes the tiger and the tiger visits the cat then the cat visits the rabbit. If someone sees the cat and the cat is nice then they see the tiger. If someone is blue then they visit the lion.
The cat is green.
("cat" "is" "green" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone likes the tiger then they are blue.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If the cat is rough then the cat visits the tiger.
((("cat" "is" "rough" "+")) -> ("cat" "visits" "tiger" "+"))
If someone likes the lion and the lion sees the cat then the cat is red.
((("someone" "likes" "lion" "+") ("lion" "sees" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone is blue and they see the tiger then they visit the lion.
((("someone" "is" "blue" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "visits" "lion" "+"))
If someone is green and they visit the cat then they visit the rabbit.
((("someone" "is" "green" "+") ("someone" "visits" "cat" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone likes the tiger and the tiger visits the cat then the cat visits the rabbit.
((("someone" "likes" "tiger" "+") ("tiger" "visits" "cat" "+")) -> ("cat" "visits" "rabbit" "+"))
If someone sees the cat and the cat is nice then they see the tiger.
((("someone" "sees" "cat" "+") ("cat" "is" "nice" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is blue then they visit the lion.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "lion" "+"))
The lion is red.
True
1
proof
[(triple3)]
("lion" "is" "red" "+")
triple3
The cat does not like the tiger.
False
1
inv-proof
[(triple2)]
("cat" "likes" "tiger" "-")
triple2
The cat is blue.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat visits the lion.
True
3
proof
[(((((triple2) -> rule1)) -> rule8))]
("cat" "visits" "lion" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat does not visit the lion.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule8))]
("cat" "visits" "lion" "-")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The cat does not see the tiger.
Unknown
inv-rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "sees" "tiger" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The tiger does not see the rabbit.
Unknown
inv-random
[@0: The tiger sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "rabbit" "-")
The tiger likes the lion.
Unknown
random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "+")
@0: The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4)] The lion sees the cat.[(triple5)] The lion sees the rabbit.[(triple6)] The lion sees the tiger.[(triple7)] The rabbit is rough.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the lion.[(triple12 OR ((triple9) -> rule8))] @1: The cat is blue.[(((triple2) -> rule1))] The cat visits the rabbit.[(((triple2 triple11) -> rule6))] @2: The cat visits the lion.[(((((triple2) -> rule1)) -> rule8))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple4
The lion sees the cat.
("lion" "sees" "cat" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple10
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple11
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12
((triple9) -> (rule8 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
((triple2 triple11) -> (rule6 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2