The lion is big. The lion is not blue. The lion is cold. The lion is green. The lion is young. All blue, young things are big.
The lion is big.
("lion" "is" "big" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
All blue, young things are big.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
The lion is cold.
True
1
proof
[(triple3)]
("lion" "is" "cold" "+")
triple3
The lion is not green.
False
1
inv-proof
[(triple4)]
("lion" "is" "green" "-")
triple4
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion is big.[(triple1)] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is not blue.[(triple2)] The lion is young.[(triple5)]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is not blue.
("lion" "is" "blue" "-")
triple2
The lion is young.
("lion" "is" "young" "+")
triple5