The lion is big. The lion is not cold. The lion is not red. The lion is rough. The lion is round. Red people are big. If the lion is cold and the lion is rough then the lion is round.
The lion is big.
("lion" "is" "big" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If the lion is cold and the lion is rough then the lion is round.
((("lion" "is" "cold" "+") ("lion" "is" "rough" "+")) -> ("lion" "is" "round" "+"))
The lion is not cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "-")
triple2
The lion is not big.
False
1
inv-proof
[(triple1)]
("lion" "is" "big" "-")
triple1
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 likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is big.[(triple1)] The lion is not cold.[(triple2)] The lion is not red.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is not cold.
("lion" "is" "cold" "-")
triple2
The lion is not red.
("lion" "is" "red" "-")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5