The lion is red. Red things are rough. If the lion is rough then the lion is round. All green, red things are round. All red, round things are rough. Young, round things are red. If something is young and round then it is green. If something is red then it is young. If the lion is round and the lion is young then the lion is green.
The lion is red.
("lion" "is" "red" "+")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If the lion is rough then the lion is round.
((("lion" "is" "rough" "+")) -> ("lion" "is" "round" "+"))
All green, red things are round.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red, round things are rough.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Young, round things are red.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something is young and round then it is green.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If the lion is round and the lion is young then the lion is green.
((("lion" "is" "round" "+") ("lion" "is" "young" "+")) -> ("lion" "is" "green" "+"))
The lion is red.
True
1
proof
[(triple1)]
("lion" "is" "red" "+")
triple1
The lion is not red.
False
1
inv-proof
[(triple1)]
("lion" "is" "red" "-")
triple1
The lion is young.
True
2
proof
[(((triple1) -> rule7))]
("lion" "is" "young" "+")
((triple1) -> (rule7 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("lion" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is not round.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("lion" "is" "round" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is red.[(triple1)] @1: The lion is rough.[(((triple1) -> rule1))] The lion is young.[(((triple1) -> rule7))] @2: The lion is round.[(((((triple1) -> rule1)) -> rule2))] @3: The lion is green.[(((((triple1) -> rule7) ((((triple1) -> rule1)) -> rule2)) -> rule6) OR ((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule7)) -> rule8))]
The lion is red.
("lion" "is" "red" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple1) -> (rule7 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4))) -> (rule2 % int3)) ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4