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