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