The lion eats the tiger. The lion is big. The lion is cold. The lion is green. The lion is round. The lion is young. The lion likes the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is green. The tiger is round. The tiger does not like the lion. The tiger sees the lion. If something eats the tiger and it does not eat the lion then the lion is young. If something eats the tiger and the tiger does not eat the lion then the lion does not see the tiger. If something is round and it does not eat the tiger then the tiger likes the lion. If the lion eats the tiger then the lion likes the tiger. If something likes the tiger and it does not eat the lion then it is green. If something sees the tiger and the tiger likes the lion then the tiger does not see the lion. If something likes the tiger then it likes the lion. If something likes the tiger and it does not like the lion then the lion is green.
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
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 big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If something eats the tiger and it does not eat the lion then the lion is young.
((("something" "eats" "tiger" "+") ("something" "eats" "lion" "~")) -> ("lion" "is" "young" "+"))
If something eats the tiger and the tiger does not eat the lion then the lion does not see the tiger.
((("something" "eats" "tiger" "+") ("tiger" "eats" "lion" "~")) -> ("lion" "sees" "tiger" "-"))
If something is round and it does not eat the tiger then the tiger likes the lion.
((("something" "is" "round" "+") ("something" "eats" "tiger" "~")) -> ("tiger" "likes" "lion" "+"))
If the lion eats the tiger then the lion likes the tiger.
((("lion" "eats" "tiger" "+")) -> ("lion" "likes" "tiger" "+"))
If something likes the tiger and it does not eat the lion then it is green.
((("something" "likes" "tiger" "+") ("something" "eats" "lion" "~")) -> ("something" "is" "green" "+"))
If something sees the tiger and the tiger likes the lion then the tiger does not see the lion.
((("something" "sees" "tiger" "+") ("tiger" "likes" "lion" "+")) -> ("tiger" "sees" "lion" "-"))
If something likes the tiger then it likes the lion.
((("something" "likes" "tiger" "+")) -> ("something" "likes" "lion" "+"))
If something likes the tiger and it does not like the lion then the lion is green.
((("something" "likes" "tiger" "+") ("something" "likes" "lion" "~")) -> ("lion" "is" "green" "+"))
The lion is young.
True
1
proof
[(triple6)]
("lion" "is" "young" "+")
triple6
The tiger likes the lion.
False
1
inv-proof
[(triple14)]
("tiger" "likes" "lion" "+")
triple14
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple1) -> rule4))] The lion sees the tiger.[(triple8)] The tiger does not like the lion.[(triple14)] The tiger eats the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is round.[(triple13)] The tiger sees the lion.[(triple15)] @1: The lion likes the lion.[(((triple7) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple7
((triple1) -> (rule4 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple8
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple14
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple15
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple7) -> (rule7 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2