The lion eats the tiger. The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger needs the lion. The tiger visits the lion. If something needs the lion and it needs the tiger then it is big.
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 cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "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 cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something needs the lion and it needs the tiger then it is big.
((("something" "needs" "lion" "+") ("something" "needs" "tiger" "+")) -> ("something" "is" "big" "+"))
The tiger is nice.
True
1
proof
[(triple13)]
("tiger" "is" "nice" "+")
triple13
The tiger does not visit the lion.
False
1
inv-proof
[(triple16)]
("tiger" "visits" "lion" "-")
triple16
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the tiger.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger needs the lion.[(triple15)] The tiger visits the lion.[(triple16)]
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
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple7
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple8
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple15
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16