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