The lion is nice. The lion is round. The lion is young. All round, big things are nice. All round, cold things are nice.
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
All round, big things are nice.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All round, cold things are nice.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not nice.
False
1
inv-proof
[(triple1)]
("lion" "is" "nice" "-")
triple1
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is nice.[(triple1)] The lion is round.[(triple2)] The lion is young.[(triple3)]
The lion is nice.
("lion" "is" "nice" "+")
triple1
The lion is round.
("lion" "is" "round" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3