The lion is kind. The lion is not nice. The lion is round. Rough things are nice. If something is kind and not red then it is not round.
The lion is kind.
("lion" "is" "kind" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is round.
("lion" "is" "round" "+")
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is kind and not red then it is not round.
((("something" "is" "kind" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "-"))
The lion is kind.
True
1
proof
[(triple1)]
("lion" "is" "kind" "+")
triple1
The lion is nice.
False
1
inv-proof
[(triple2)]
("lion" "is" "nice" "+")
triple2
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The lion is kind.[(triple1)] The lion is not nice.[(triple2)] The lion is round.[(triple3)]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The lion is not nice.
("lion" "is" "nice" "-")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3