The lion is big. The lion is cold. The lion is red. The lion is rough. The lion is young. If something is cold then it is red.
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The lion is big.
True
1
proof
[(triple1)]
("lion" "is" "big" "+")
triple1
The lion is not big.
False
1
inv-proof
[(triple1)]
("lion" "is" "big" "-")
triple1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is red.[(triple3 OR ((triple2) -> rule1))] The lion is rough.[(triple4)] The lion is young.[(triple5)]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5