The lion eats the tiger. The lion is big. The lion is blue. The lion is green. The lion is kind. The lion is rough. The lion likes the tiger. The lion needs the tiger. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is rough. The tiger likes the lion. The tiger needs the lion. If something is rough and it likes the lion then the lion is blue. If something needs the tiger and the tiger is kind then the tiger eats the lion. If something eats the lion and it is green then it likes the tiger.
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something is rough and it likes the lion then the lion is blue.
((("something" "is" "rough" "+") ("something" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something needs the tiger and the tiger is kind then the tiger eats the lion.
((("something" "needs" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "eats" "lion" "+"))
If something eats the lion and it is green then it likes the tiger.
((("something" "eats" "lion" "+") ("something" "is" "green" "+")) -> ("something" "likes" "tiger" "+"))
The tiger likes the lion.
True
1
proof
[(triple15)]
("tiger" "likes" "lion" "+")
triple15
The tiger does not need the lion.
False
1
inv-proof
[(triple16)]
("tiger" "needs" "lion" "-")
triple16
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3 OR ((triple14 triple15) -> rule1))] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The lion likes the tiger.[(triple7)] The lion needs the tiger.[(triple8)] The tiger eats the lion.[(triple9 OR ((triple8 triple13) -> rule2))] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the lion.[(triple15)] The tiger needs the lion.[(triple16)] @1: The tiger likes the tiger.[(((triple9 triple12) -> rule3) OR ((((triple8 triple13) -> rule2) triple12) -> rule3))]
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
((triple14 triple15) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple7
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple8
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
((triple8 triple13) -> (rule2 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple16
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple9 triple12) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((((triple8 triple13) -> (rule2 % int2)) triple12) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2