The lion does not eat the tiger. The lion is blue. The lion likes the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is cold. The tiger does not see the lion. If someone sees the tiger and they see the lion then the tiger does not like the lion. If the lion sees the tiger then the tiger likes the lion. If someone is nice and they eat the tiger then the tiger is young. If someone eats the lion and the lion is young then they see the lion. If someone is green and they like the lion then they see the lion. If someone sees the lion then they are not cold. If someone is green and cold then they like the lion. If someone likes the lion and they see the lion then the lion does not like the tiger.
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
If someone sees the tiger and they see the lion then the tiger does not like the lion.
((("someone" "sees" "tiger" "+") ("someone" "sees" "lion" "+")) -> ("tiger" "likes" "lion" "-"))
If the lion sees the tiger then the tiger likes the lion.
((("lion" "sees" "tiger" "+")) -> ("tiger" "likes" "lion" "+"))
If someone is nice and they eat the tiger then the tiger is young.
((("someone" "is" "nice" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone eats the lion and the lion is young then they see the lion.
((("someone" "eats" "lion" "+") ("lion" "is" "young" "+")) -> ("someone" "sees" "lion" "+"))
If someone is green and they like the lion then they see the lion.
((("someone" "is" "green" "+") ("someone" "likes" "lion" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the lion then they are not cold.
((("someone" "sees" "lion" "+")) -> ("someone" "is" "cold" "-"))
If someone is green and cold then they like the lion.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the lion and they see the lion then the lion does not like the tiger.
((("someone" "likes" "lion" "+") ("someone" "sees" "lion" "+")) -> ("lion" "likes" "tiger" "-"))
The lion does not eat the tiger.
True
1
proof
[(triple1)]
("lion" "eats" "tiger" "-")
triple1
The tiger is not cold.
False
1
inv-proof
[(triple6)]
("tiger" "is" "cold" "-")
triple6
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "young" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The lion does not eat the tiger.[(triple1)] The lion is blue.[(triple2)] The lion likes the tiger.[(triple3)] The lion sees the tiger.[(triple4)] The tiger does not see the lion.[(triple7)] The tiger eats the lion.[(triple5)] The tiger is cold.[(triple6)] @1: The tiger likes the lion.[(((triple4) -> rule2))]
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple3
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple4
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple7
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger likes the lion.
("tiger" "likes" "lion" "+")
((triple4) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1