The lion is cold. If the lion is cold then the lion is big. If the lion is red then the lion is big.
The lion is cold.
("lion" "is" "cold" "+")
If the lion is cold then the lion is big.
((("lion" "is" "cold" "+")) -> ("lion" "is" "big" "+"))
If the lion is red then the lion is big.
((("lion" "is" "red" "+")) -> ("lion" "is" "big" "+"))
The lion is cold.
True
1
proof
[(triple1)]
("lion" "is" "cold" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple1)]
("lion" "is" "cold" "-")
triple1
The lion is big.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "big" "+")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "big" "-")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
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 nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
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 is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The lion is cold.[(triple1)] @1: The lion is big.[(((triple1) -> rule1))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1