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