The lion is blue. The lion is kind. The lion is young. If someone is blue and young then they are cold. If the lion is blue and the lion is cold then the lion is nice.
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
If someone is blue and young then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If the lion is blue and the lion is cold then the lion is nice.
((("lion" "is" "blue" "+") ("lion" "is" "cold" "+")) -> ("lion" "is" "nice" "+"))
The lion is kind.
True
1
proof
[(triple2)]
("lion" "is" "kind" "+")
triple2
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The lion is cold.
True
3
proof
[(((triple1 triple3) -> rule1))]
("lion" "is" "cold" "+")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("lion" "is" "cold" "-")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is nice.
True
5
proof
[(((triple1 ((triple1 triple3) -> rule1)) -> rule2))]
("lion" "is" "nice" "+")
((triple1 ((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is not nice.
False
5
inv-proof
[(((triple1 ((triple1 triple3) -> rule1)) -> rule2))]
("lion" "is" "nice" "-")
((triple1 ((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
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 blue.[(triple1)] The lion is kind.[(triple2)] The lion is young.[(triple3)] @1: The lion is cold.[(((triple1 triple3) -> rule1))] @2: The lion is nice.[(((triple1 ((triple1 triple3) -> rule1)) -> rule2))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple1 ((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2