The lion chases the tiger. The lion likes the tiger. The rabbit chases the lion. The rabbit chases the tiger. The rabbit does not eat the tiger. The rabbit likes the lion. The tiger does not chase the lion. The tiger chases the rabbit. The tiger does not eat the rabbit. The tiger is rough. The tiger likes the lion. The tiger does not like the rabbit. If something is green then it likes the rabbit. If something is green then it chases the tiger. If something is green then it eats the lion. If something is round and it eats the rabbit then it eats the lion. If something likes the lion and the lion chases the rabbit then the lion does not eat the rabbit. If something chases the lion and it is blue then it is not green. If something chases the lion then it is green. If the lion does not chase the rabbit then the lion does not eat the tiger.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
If something is green then it likes the rabbit.
((("something" "is" "green" "+")) -> ("something" "likes" "rabbit" "+"))
If something is green then it chases the tiger.
((("something" "is" "green" "+")) -> ("something" "chases" "tiger" "+"))
If something is green then it eats the lion.
((("something" "is" "green" "+")) -> ("something" "eats" "lion" "+"))
If something is round and it eats the rabbit then it eats the lion.
((("something" "is" "round" "+") ("something" "eats" "rabbit" "+")) -> ("something" "eats" "lion" "+"))
If something likes the lion and the lion chases the rabbit then the lion does not eat the rabbit.
((("something" "likes" "lion" "+") ("lion" "chases" "rabbit" "+")) -> ("lion" "eats" "rabbit" "-"))
If something chases the lion and it is blue then it is not green.
((("something" "chases" "lion" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
If something chases the lion then it is green.
((("something" "chases" "lion" "+")) -> ("something" "is" "green" "+"))
If the lion does not chase the rabbit then the lion does not eat the tiger.
((("lion" "chases" "rabbit" "~")) -> ("lion" "eats" "tiger" "-"))
The rabbit chases the tiger.
True
1
proof
[(triple4 OR ((((triple3) -> rule7)) -> rule2))]
("rabbit" "chases" "tiger" "+")
triple4
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The lion does not chase the tiger.
False
1
inv-proof
[(triple1)]
("lion" "chases" "tiger" "-")
triple1
The rabbit is green.
True
2
proof
[(((triple3) -> rule7))]
("rabbit" "is" "green" "+")
((triple3) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple3) -> rule7))]
("rabbit" "is" "green" "-")
((triple3) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit likes the rabbit.
True
3
proof
[(((((triple3) -> rule7)) -> rule1))]
("rabbit" "likes" "rabbit" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit does not eat the lion.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule3))]
("rabbit" "eats" "lion" "-")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The lion does not eat the lion.
Unknown
inv-rconc
[@2: The lion eats the lion.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("lion" "eats" "lion" "-")
The tiger eats the lion.
Unknown
rconc
[@2: The tiger eats the lion.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("tiger" "eats" "lion" "+")
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "green" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The lion does not chase the rabbit.
Unknown
inv-random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The lion chases the tiger.[(triple1)] The lion likes the tiger.[(triple2)] The rabbit chases the lion.[(triple3)] The rabbit chases the tiger.[(triple4 OR ((((triple3) -> rule7)) -> rule2))] The rabbit does not eat the tiger.[(triple5)] The rabbit likes the lion.[(triple6)] The tiger chases the rabbit.[(triple8)] The tiger does not chase the lion.[(triple7)] The tiger does not eat the rabbit.[(triple9)] The tiger does not like the rabbit.[(triple12)] The tiger is rough.[(triple10)] The tiger likes the lion.[(triple11)] @1: The rabbit is green.[(((triple3) -> rule7))] @2: The rabbit eats the lion.[(((((triple3) -> rule7)) -> rule3))] The rabbit likes the rabbit.[(((((triple3) -> rule7)) -> rule1))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple4
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple5
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple6
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
triple7
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
triple9
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
((triple3) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2