The lion is round. If the lion is round and the lion is not cold then the lion is not kind. If the lion is round then the lion is not kind. If someone is round and not kind then they are rough.
The lion is round.
("lion" "is" "round" "+")
If the lion is round and the lion is not cold then the lion is not kind.
((("lion" "is" "round" "+") ("lion" "is" "cold" "~")) -> ("lion" "is" "kind" "-"))
If the lion is round then the lion is not kind.
((("lion" "is" "round" "+")) -> ("lion" "is" "kind" "-"))
If someone is round and not kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
The lion is round.
True
1
proof
[(triple1)]
("lion" "is" "round" "+")
triple1
The lion is not round.
False
1
inv-proof
[(triple1)]
("lion" "is" "round" "-")
triple1
The lion is not kind.
True
2
proof
[(((triple1) -> rule2))]
("lion" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("lion" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is rough.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("lion" "is" "rough" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
int2
The lion is not rough.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("lion" "is" "rough" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
int2
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
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 is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The lion is round.[(triple1)] @1: The lion is not kind.[(((triple1) -> rule2))] @2: The lion is rough.[(((triple1 ((triple1) -> rule2)) -> rule3))]
The lion is round.
("lion" "is" "round" "+")
triple1
The lion is not kind.
("lion" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
int2