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