The lion is round. If the lion is red and the lion is round then the lion is kind. If something is round then it is red.
The lion is round.
("lion" "is" "round" "+")
If the lion is red and the lion is round then the lion is kind.
((("lion" "is" "red" "+") ("lion" "is" "round" "+")) -> ("lion" "is" "kind" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
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 red.
True
2
proof
[(((triple1) -> rule2))]
("lion" "is" "red" "+")
((triple1) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("lion" "is" "red" "-")
((triple1) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is kind.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("lion" "is" "kind" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is not kind.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("lion" "is" "kind" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
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 sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is round.[(triple1)] @1: The lion is red.[(((triple1) -> rule2))] @2: The lion is kind.[(((((triple1) -> rule2) triple1) -> rule1))]
The lion is round.
("lion" "is" "round" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
((triple1) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2