The lion is not cold. The lion is red. The lion is rough. If something is rough and red then it is nice. Red, cold things are kind. If the lion is nice then the lion is kind.
The lion is not cold.
("lion" "is" "cold" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something is rough and red then it is nice.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Red, cold things are kind.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If the lion is nice then the lion is kind.
((("lion" "is" "nice" "+")) -> ("lion" "is" "kind" "+"))
The lion is not cold.
True
1
proof
[(triple1)]
("lion" "is" "cold" "-")
triple1
The lion is cold.
False
1
inv-proof
[(triple1)]
("lion" "is" "cold" "+")
triple1
The lion is nice.
True
3
proof
[(((triple3 triple2) -> rule1))]
("lion" "is" "nice" "+")
((triple3 triple2) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("lion" "is" "nice" "-")
((triple3 triple2) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is kind.
True
4
proof
[(((((triple3 triple2) -> rule1)) -> rule3))]
("lion" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is not kind.
False
4
inv-proof
[(((((triple3 triple2) -> rule1)) -> rule3))]
("lion" "is" "kind" "-")
((((triple3 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "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 not cold.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3)] @1: The lion is nice.[(((triple3 triple2) -> rule1))] @2: The lion is kind.[(((((triple3 triple2) -> rule1)) -> rule3))]
The lion is not cold.
("lion" "is" "cold" "-")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
((triple3 triple2) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2