The lion eats the rabbit. The lion is kind. The lion likes the rabbit. The lion likes the tiger. The lion does not visit the rabbit. The lion visits the tiger. The rabbit does not eat the tiger. The tiger eats the lion. The tiger likes the lion. The tiger likes the rabbit. The tiger visits the lion. The tiger visits the rabbit. If something visits the lion then the lion likes the rabbit. If something likes the tiger then the tiger is cold. If the lion eats the rabbit and the rabbit visits the lion then the rabbit likes the lion. If the rabbit is young and the rabbit likes the tiger then the rabbit visits the tiger. If the tiger does not like the rabbit then the tiger is not young. If the rabbit eats the tiger and the rabbit is not cold then the tiger eats the rabbit.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
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 something visits the lion then the lion likes the rabbit.
((("something" "visits" "lion" "+")) -> ("lion" "likes" "rabbit" "+"))
If something likes the tiger then the tiger is cold.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If the lion eats the rabbit and the rabbit visits the lion then the rabbit likes the lion.
((("lion" "eats" "rabbit" "+") ("rabbit" "visits" "lion" "+")) -> ("rabbit" "likes" "lion" "+"))
If the rabbit is young and the rabbit likes the tiger then the rabbit visits the tiger.
((("rabbit" "is" "young" "+") ("rabbit" "likes" "tiger" "+")) -> ("rabbit" "visits" "tiger" "+"))
If the tiger does not like the rabbit then the tiger is not young.
((("tiger" "likes" "rabbit" "~")) -> ("tiger" "is" "young" "-"))
If the rabbit eats the tiger and the rabbit is not cold then the tiger eats the rabbit.
((("rabbit" "eats" "tiger" "+") ("rabbit" "is" "cold" "~")) -> ("tiger" "eats" "rabbit" "+"))
The lion likes the tiger.
True
1
proof
[(triple4)]
("lion" "likes" "tiger" "+")
triple4
The lion does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("lion" "eats" "rabbit" "-")
triple1
The rabbit does not like the lion.
Unknown
inv-rconc
[@1: The rabbit likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "lion" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The lion does not visit the rabbit.[(triple5)] The lion eats the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion likes the rabbit.[(triple3 OR ((triple11) -> rule1))] The lion likes the tiger.[(triple4)] The lion visits the tiger.[(triple6)] The rabbit does not eat the tiger.[(triple7)] The tiger eats the lion.[(triple8)] The tiger likes the lion.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger visits the lion.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger is cold.[(((triple4) -> rule2))]
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple5
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
((triple11) -> (rule1 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple7
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple8
The tiger likes the lion.
("tiger" "likes" "lion" "+")
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 tiger is cold.
("tiger" "is" "cold" "+")
((triple4) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1