The lion is green. The lion is nice. The lion is rough. If the lion is cold then the lion is nice. All kind things are green.
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
If the lion is cold then the lion is nice.
((("lion" "is" "cold" "+")) -> ("lion" "is" "nice" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The lion is green.
True
1
proof
[(triple1)]
("lion" "is" "green" "+")
triple1
The lion is not nice.
False
1
inv-proof
[(triple2)]
("lion" "is" "nice" "-")
triple2
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 is green.[(triple1)] The lion is nice.[(triple2)] The lion is rough.[(triple3)]
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3