The lion is cold. The lion is kind. The lion is red. If the lion is blue then the lion is nice. If the lion is red and the lion is kind then the lion is blue. If something is red and blue then it is cold.
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
If the lion is blue then the lion is nice.
((("lion" "is" "blue" "+")) -> ("lion" "is" "nice" "+"))
If the lion is red and the lion is kind then the lion is blue.
((("lion" "is" "red" "+") ("lion" "is" "kind" "+")) -> ("lion" "is" "blue" "+"))
If something is red and blue then it is cold.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
The lion is cold.
True
1
proof
[(triple1 OR ((triple3 ((triple3 triple2) -> rule2)) -> rule3))]
("lion" "is" "cold" "+")
triple1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is not red.
False
1
inv-proof
[(triple3)]
("lion" "is" "red" "-")
triple3
The lion is blue.
True
3
proof
[(((triple3 triple2) -> rule2))]
("lion" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("lion" "is" "blue" "-")
((triple3 triple2) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is nice.
True
4
proof
[(((((triple3 triple2) -> rule2)) -> rule1))]
("lion" "is" "nice" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is not nice.
False
4
inv-proof
[(((((triple3 triple2) -> rule2)) -> rule1))]
("lion" "is" "nice" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
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 OR ((triple3 ((triple3 triple2) -> rule2)) -> rule3))] The lion is kind.[(triple2)] The lion is red.[(triple3)] @1: The lion is blue.[(((triple3 triple2) -> rule2))] @2: The lion is nice.[(((((triple3 triple2) -> rule2)) -> rule1))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2