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