The lion is cold. The lion is green. The lion is kind. The lion is red. The lion is young. If the lion is young then the lion is red.
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
If the lion is young then the lion is red.
((("lion" "is" "young" "+")) -> ("lion" "is" "red" "+"))
The lion is young.
True
1
proof
[(triple5)]
("lion" "is" "young" "+")
triple5
The lion is not green.
False
1
inv-proof
[(triple2)]
("lion" "is" "green" "-")
triple2
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "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 cold.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4 OR ((triple5) -> rule1))] The lion is young.[(triple5)]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
((triple5) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
triple5