The lion is kind. The lion is not rough. The lion is young. If the lion is not kind then the lion is not rough. Kind, young people are blue.
The lion is kind.
("lion" "is" "kind" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is young.
("lion" "is" "young" "+")
If the lion is not kind then the lion is not rough.
((("lion" "is" "kind" "~")) -> ("lion" "is" "rough" "-"))
Kind, young people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not kind.
False
1
inv-proof
[(triple1)]
("lion" "is" "kind" "-")
triple1
The lion is blue.
True
3
proof
[(((triple1 triple3) -> rule2))]
("lion" "is" "blue" "+")
((triple1 triple3) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("lion" "is" "blue" "-")
((triple1 triple3) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion is kind.[(triple1)] The lion is not rough.[(triple2)] The lion is young.[(triple3)] @1: The lion is blue.[(((triple1 triple3) -> rule2))]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The lion is not rough.
("lion" "is" "rough" "-")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
((triple1 triple3) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1