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